[clean-list] Synonym type and Universal type

[lethevert]

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