Hi everybody,
this week an student report me de following code:
infixr 5 :<
data Seq a = a | a :< Seq a
crear :: Seq Int
crear = 1 :< (2 :< 3)
--Devolver primer elemento
devolPrimero :: Seq Int -> Int
devolPrimero (a :< _) = a
goal :: Int
goal = devolPrimero crear
i know it is clear the problem with it but the error that PAKCS shows
is:
Parsing 'local.curry'...
generating local.fcy ...
cymake:
"local.curry", line 6.9: Type error in infix application
2 :< 3
Term: 3
Inferred type: Prelude.Int
Expected type: Seq Prelude.Int
Types Seq Prelude.Int and Prelude.Int are incompatible
ERROR occurred during parsing!
The question is why PAKCS no detect that the problem is with data
definition ¿?
data Seq a = a | a :< Seq a
Thanks to every body
Juan Carlos González Moreno
jcmoreno_at_uvigo.es
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Okt 25 2007 - 12:24:50 CEST