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 | 5ee58ab372255fea4b1180b7af3c7fc5485ccb1c (patch) | |
tree | 691773c8f6432547bb7ae6cfd50a46cef9e527dc /src/mono_reduce.sml | |
parent | 2f0548ba477493e865a75594fceb0cb107869510 (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 |