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