[clean-list] Synonym type and Universal type

lethevert acatofearlgrey at ybb.ne.jp
Sat May 12 13:19:44 MEST 2007


Hello John,


 > The is caused by an error in the compiler, it should reject universal
 > quantors in type synonyms.
 >

I found another type of error in the following codes.
Maybe they have the same cause as the previous problem and
should be refected by the compiler.


The code

=======================================
::Number a | Arith a :== a

Start :: Number String
Start = "aaa"
=======================================

and

=======================================
::Number a | Arith a = Number a

Start :: Number String
Start = Number "aaa"
=======================================

can be compiled and executed successfully.


Regards,

lethevert
lethevert at users.sourceforge.net


More information about the clean-list mailing list