diff options
Diffstat (limited to 'compiler/Extract.ml')
| -rw-r--r-- | compiler/Extract.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml index fbfcadfd..fa384de6 100644 --- a/compiler/Extract.ml +++ b/compiler/Extract.ml @@ -1394,6 +1394,9 @@ let rec extract_texpression (ctx : extraction_ctx) (fmt : F.formatter) | Let (_, _, _, _) -> extract_lets ctx fmt inside e | Switch (scrut, body) -> extract_Switch ctx fmt inside scrut body | Meta (_, e) -> extract_texpression ctx fmt inside e + | Loop _ -> + (* The loop nodes should have been eliminated in {!PureMicroPasses} *) + raise (Failure "Unreachable") (* Extract an application *or* a top-level qualif (function extraction has * to handle top-level qualifiers, so it seemed more natural to merge the |