Fixed extraction for patterns with a completely ghost mask

62c99fd5 · Mário Pereira · 14a9eb14 · 62c99fd5
Commit 62c99fd5 authored Apr 14, 2019 by Mário Pereira
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/mlw/compile.ml src/mlw/compile.ml +2 -0

No files found.
--- a/src/mlw/compile.ml
+++ b/src/mlw/compile.ml
@@ -94,6 +94,8 @@ module Translate = struct
        rdef :: filter_out_ghost_rdef l

  let rec pat m p = match p.pat_node with
+    | _ when mask_equal m MaskGhost ->
+        ML.Pwild
    | Pwild ->
        ML.Pwild
    | Pvar vs when (restore_pv vs).pv_ghost ->