diff options
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 |