id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
174,Type mismatch during unification,erikd,erikd,"Very simple code:

{{{
-- Spaces around '-' works correctly.
fun1 n = n - 1

-- This results in a type unification error.
fun2 n = n-1

main ()
 = do	println $ show $ fun1 10
 	println $ show $ fun2 10

}}}

fails to compile with:

{{{
./Main.ds:10:25
    Type mismatch during unification.
          cannot match: *348 $357
                  with: *361 %362

              the use of: fun2
                 at type: *348 $357
                      at: ./Main.ds:10:25

        conflicts with, 
          literal value 10i32
                 of type: *361 %362
                      at: ./Main.ds:10:30


}}}

Suspect this is actually a parser error.
",defect,closed,blocker,0.1.3,Source Parser,,fixed,,