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 /src/util/statistics_registry.h | |
parent | 95fc20b5dffb8eb6fe11b53d72d7e6750e86fa49 (diff) |
require type ascriptions for parametric datatype constructors (making them canonical), this fixes the followup issue of bug 438
Diffstat (limited to 'src/util/statistics_registry.h')
0 files changed, 0 insertions, 0 deletions