digitalmars.D - Parsing bug?
- Jean-Louis Leroy (16/16) Apr 27 2020 import std.traits;
import std.traits; unittest { struct attr; void foo() {} ReturnType!foo bar(int a) {} void baz( attr int a) {} ReturnType!foo blah( attr int a) {} } dmd -c -unittest bug.d bug.d(9): Error: found `blah` when expecting `;` following statement bug.d(10): Error: found `}` when expecting `;` following statement bug.d(11): Error: found `End of File` when expecting `}` following compound statement This goes away if I remove `unittest { }`.
Apr 27 2020
On Monday, 27 April 2020 at 22:48:46 UTC, Jean-Louis Leroy wrote:import std.traits; unittest { struct attr; void foo() {} ReturnType!foo bar(int a) {} void baz( attr int a) {} ReturnType!foo blah( attr int a) {} } dmd -c -unittest bug.d bug.d(9): Error: found `blah` when expecting `;` following statement bug.d(10): Error: found `}` when expecting `;` following statement bug.d(11): Error: found `End of File` when expecting `}` following compound statement This goes away if I remove `unittest { }`.Yes, this is a parser bug. `unittest` isn't important here (you can replace unittest with a function declaration and the behavior will be the same), it's the fact that you are declaring a nested function which returns a template instance that confuses the parser. Please file this on bugzilla.
Apr 28 2020
On Tuesday, 28 April 2020 at 07:41:28 UTC, RazvanN wrote:On Monday, 27 April 2020 at 22:48:46 UTC, Jean-Louis Leroy wrote:I forgot about the UDA. It looks like the parser expects a type after the `(` and discovering the UDA makes it error.[...]Yes, this is a parser bug. `unittest` isn't important here (you can replace unittest with a function declaration and the behavior will be the same), it's the fact that you are declaring a nested function which returns a template instance that confuses the parser. Please file this on bugzilla.
Apr 28 2020
On Tuesday, 28 April 2020 at 07:43:13 UTC, RazvanN wrote:On Tuesday, 28 April 2020 at 07:41:28 UTC, RazvanN wrote:in parser.d, isParameters() does not check the attributes. issue + patch : https://issues.dlang.org/show_bug.cgi?id=20780On Monday, 27 April 2020 at 22:48:46 UTC, Jean-Louis Leroy wrote:I forgot about the UDA. It looks like the parser expects a type after the `(` and discovering the UDA makes it error.[...]Yes, this is a parser bug. `unittest` isn't important here (you can replace unittest with a function declaration and the behavior will be the same), it's the fact that you are declaring a nested function which returns a template instance that confuses the parser. Please file this on bugzilla.
Apr 28 2020