bentall / 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 9 years ago

GoogleCodeExporter commented 9 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