From 3efe0611ddd40ba6ff0d3427ddf4e41e14eda7c1 Mon Sep 17 00:00:00 2001
From: Jiezhong Yang <pigumar@umich.edu>
Date: Sun, 5 May 2024 15:37:17 -0400
Subject: [PATCH] unknown scrutinee type handling mostly done

---
 src/haz3lcore/statics/Statics.re | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/haz3lcore/statics/Statics.re b/src/haz3lcore/statics/Statics.re
index 76f8d4f5fb..f52617a7bc 100644
--- a/src/haz3lcore/statics/Statics.re
+++ b/src/haz3lcore/statics/Statics.re
@@ -440,7 +440,6 @@ and uexp_to_info_map =
     let e_tys = List.map(Info.exp_ty, es);
     let e_co_ctxs =
       List.map2(CoCtx.mk(ctx), p_ctxs, List.map(Info.exp_co_ctx, es));
-    // switch (scrut.ty) {
     // | Unknown(_) =>
     //   let (ps', _m) =
     //     map_m(go_pat(~is_synswitch=false, ~co_ctx=CoCtx.empty), ps, m);
@@ -456,7 +455,11 @@ and uexp_to_info_map =
     // | _ => ()
     // };
     // switch ()
-    let scrut_ty = Some(scrut.ty);
+    let scrut_ty =
+      switch (scrut.ty) {
+      | Unknown(_) => None
+      | ty => Some(ty)
+      };
     let (self, m) =
       switch (scrut_ty) {
       | Some(scrut_ty) =>