search

catb0t / cat-language

Automatically exported from code.google.com/p/cat-language
Other
0 stars 0 forks source link

Type signature parsing error #20

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
('A -> 'B) -> ('A -> 'B)

This is an illegal type signature but is parsed successfully

Original issue reported on code.google.com by cdiggins on 21 Oct 2007 at 2:09