-
chak@cse.unsw.edu.au. authored
- Mostly changed error messages - 'while' needs another type annotation due to changed rules as to what annotations are required for GADTs.
0462e1e1
- Mostly changed error messages - 'while' needs another type annotation due to changed rules as to what annotations are required for GADTs.