[nem-en] [r7034] Compiler ICEs on Nemerle.Compiler.Utils in VS integration project

[Ivan Lakhturov]

Hello Michal,

Saturday, December 2, 2006, 9:30:47 PM, you wrote:

> On 12/2/06, Michal Moskal <michal.moskal at gmail.com> wrote:
>> On 12/1/06, Andrey Khropov <andrey.khropov at gmail.com> wrote:
>> >
>> > Compiler ICEs on Nemerle.Compiler.Utils project.
>> > Please fix this as soon as possible.
>> >
>> > It won't be a bad idea to check its compilation automatically for every
>> > revision.
>>
>> Well, in this case the regular tests would be enough, if I did them on
>> a Windows machine... We unfortunately don't have automatic tests on
>> any Windows box.

> It should be fixed on trunk now.

> Again, sorry about that :/

It's ok now with Nemerle.Compiler.Utils, but it falls now (rev 7035) on
Heavy.Tests project:
(you can load
\Nemerle.Compiler.Utils\Nemerle.Completion2\Tests\Refactoring.Playground.sln
under integration)

C:\Development\Nemerle\Integration\Nemerle.Compiler.Utils\Nemerle.Completion2\Tests\Heavy.Tests\Runner.n(391,25): Error : Internal compiler error, please report a bug to bugs.nemerle.org. You can try modifying program near this location.
C:\Program Files\Nemerle\Nemerle.MSBuild.targets(167,9): Error : internal compiler error: assertion failed in file ncc\typing\MType.n, line 718:
                unsupported type: for member method Nemerle.Builtins.Function.apply(_N_u840 : 'p1.240) : 'r.241 with dt Nemerle.Builtins.Function -- am in Heavy.Tests.TestRunner -> (string * int * Nemerle.Compiler.Location * string) -> bool
                   at Nemerle.Compiler.MType.TypeOfMember(IMember member) in C:\Development\Nemerle\Source\ncc\typing\MType.n:line 718
                   at Nemerle.Compiler.ILEmitter.emit_tuple_function_conversion(MType after, MType member_from, IMember member) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 492
                   at Nemerle.Compiler.ILEmitter.emit_method_call(TExpr expr, Boolean base_is_value_type_or_static, MethodInfo method, IMethod imethod, MType from) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 1841
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 1095
                   at Nemerle.Compiler.ILEmitter.emit_parms(list`1 parms) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 438
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 1081
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 527
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 529
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 571
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 737
                   at Nemerle.Compiler.ILEmitter.emit(TExpr expr) in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 767
                   at Nemerle.Compiler.ILEmitter.Run() in C:\Development\Nemerle\Source\ncc\generation\ILEmitter.n:line 145
                   at Nemerle.Compiler.MethodBuilder._N__N_l34123_34259.apply_void() in C:\Development\Nemerle\Source\ncc\generation\HierarchyEmitter.n:line 764
                   at Nemerle.Compiler.TypeBuilder.FinalizeType() in C:\Development\Nemerle\Source\ncc\hierarchy\TypeBuilder.n:line 1627
                   at Nemerle.Compiler.TypeBuilder.EmitImplementation() in C:\Development\Nemerle\Source\ncc\generation\HierarchyEmitter.n:line 589
                   at Nemerle.Compiler.TypeBuilder._N__N_l29910_29936.apply_void() in C:\Development\Nemerle\Source\ncc\hierarchy\TypeBuilder.n:line 539
                   at Nemerle.Compiler.Solver.Enqueue(FunctionVoid action) in C:\Development\Nemerle\Source\ncc\typing\Solver.n:line 200
                   at Nemerle.Compiler.TypesManager.EmitDecls() in C:\Development\Nemerle\Source\ncc\generation\HierarchyEmitter.n:line 213
                   at Nemerle.Compiler.ManagerClass.Run() in C:\Development\Nemerle\Source\ncc\passes.n:line 410
                   at Nemerle.CommandlineCompiler.MainClass.main_with_catching() in C:\Development\Nemerle\Source\ncc\main.n:line 86

on such a line:
          runner.Test = suite[0](runner);
where suite is of type list[foo * string * string]
where foo has type:
      TestRunner -> (string * int * Location * string -> bool)
:)
so, runner.Test has type
    string * int * Location * string -> bool;

it compiled normally until i updated from svn

regards, phantom