diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-09 12:42:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-09 12:42:25 -0400 |
| commit | e0f7a1d2e4ed4d0a264f042de8698fe98bc3b88c (patch) | |
| tree | 691773c8f6432547bb7ae6cfd50a46cef9e527dc /src/mono_reduce.sml | |
| parent | df1314f40a89b39188c26a303f09e673bf061070 (diff) | |
Support empty datatypes, which can now be generated via 'variant []'
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index ce9f4a4e..59ec5a55 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -436,7 +436,7 @@ fun reduce file = val lss = map (fn (p, e) => summarize (d + patBinds p) e) pes in case lss of - [] => raise Fail "Empty pattern match" + [] => summarize d e | ls :: lss => summarize d e @ (if List.all (fn ls' => ls' = ls) lss then |