Commit 903db8f5 authored by Axel Simon's avatar Axel Simon

do not create default case if all constructors are matched as it leads to a C compiler warning

parent 024a5377
......@@ -449,7 +449,9 @@ end = struct
inspectPat cs cons
val cases = addDefault cases
(* thus this optimization off for now since it can lead to warnings
about unused constructors *)
(*val cases = addDefault cases*)
(stmts @ [CASEstmt (scrut, cases)], IDexp res)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment