diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-06-03 14:44:08 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-06-03 14:44:08 -0400 |
commit | 975aea70b47f7a8f2ddde7207c46f893a96d1291 (patch) | |
tree | 5057b84ef264e22f27729248410b66d1872b2d3d /src/compiler.sml | |
parent | a6be8f23e0d307ad4cf506d1486df635845c390c (diff) |
Undo fancy wildification; instead, client code should include extra wildcard con declarations
Diffstat (limited to 'src/compiler.sml')
0 files changed, 0 insertions, 0 deletions