diff options
author | 2010-09-09 12:42:25 -0400 | |
---|---|---|
committer | 2010-09-09 12:42:25 -0400 | |
commit | e0f7a1d2e4ed4d0a264f042de8698fe98bc3b88c (patch) | |
tree | 691773c8f6432547bb7ae6cfd50a46cef9e527dc /src/pathcheck.sml | |
parent | df1314f40a89b39188c26a303f09e673bf061070 (diff) |
Support empty datatypes, which can now be generated via 'variant []'
Diffstat (limited to 'src/pathcheck.sml')
0 files changed, 0 insertions, 0 deletions