id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
62,Parsing or desugaring of field initialisers is broken,benl,,"
For this code:

{{{
data Rover %r %i %s
 = Rover {
    turnSpeedHardMax:: Float %i;
    .homePos :: List %r (Int %r) 	= [1, 2, 3];
    .turn    :: Bool %i 		= True;
--  .turn    :: Bool %i 		= id True; --- adding an id makes it work
 }
}}}

We get:

{{{
./test/Broken-skip/T62-ParseFieldInitialisers/Test.ds:3:0
    Type mismatch during unification.
          cannot match: *151 -(!154 $155)> *152
                  with: Data.Bool.Bool %157

          definition of field turn of 'Test.Rover' in type 'Test.Rover'
                      at: ./test/Broken-skip/T62-ParseFieldInitialisers/Test.ds:3:0

        conflicts with, 
              the use of: True
                 at type: Data.Bool.Bool %157
                      at: ./test/Broken-skip/T62-ParseFieldInitialisers/Test.ds:7:26
}}}

Adding an bogus application of {{{id}}} to {{{True}}} makes it work for some reason.

Test is {{{T62-ParseFieldInitialisers}}}",defect,closed,blocker,0.1.3,Source Desugarer,0.1.2,fixed,,