diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-01-15 09:53:19 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-01-15 09:53:19 +0000 |
| commit | fa7ab84471652c40079e4f77d242208376c4b668 (patch) | |
| tree | e8288205d146035f8fe3fb52a7b2b41e2fcee04f /src/GF/Compile/Extend.hs | |
| parent | c1d8e8af55ecad48ff5e5bc4adf1739bd9411dc6 (diff) | |
empty variants in mkVV eliminated
Diffstat (limited to 'src/GF/Compile/Extend.hs')
0 files changed, 0 insertions, 0 deletions