diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-29 23:28:29 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-29 23:28:29 +0000 |
| commit | 5992a3983bd6ba7d4b16d5abe89e2fd759789a4e (patch) | |
| tree | 5bd80356945207a1ff2032e0ad226b5ff7a9ce78 /test | |
| parent | 95fc20b5dffb8eb6fe11b53d72d7e6750e86fa49 (diff) | |
require type ascriptions for parametric datatype constructors (making them canonical), this fixes the followup issue of bug 438
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions