Revert "implement constraint_ty"

This reverts commit 405bfcc.
hazelgrove · May 4, 2024 · fd86321 · fd86321
1 parent 1ba9e2e
commit fd86321
Showing 1 changed file with 22 additions and 18 deletions.
diff --git a/src/haz3lcore/statics/Statics.re b/src/haz3lcore/statics/Statics.re
@@ -419,23 +419,28 @@ and uexp_to_info_map =
     let rules_to_info_map = (rules: list((UPat.t, UExp.t)), m) => {
       let (ps, es) = List.split(rules);
       let branch_ids = List.map(UExp.rep_id, es);
-      let rec get_constraint_ty = ps => {
-        switch (ps) {
-        | [] => scrut.ty
-        | [p, ...ps] =>
-          let (p', _m) =
-            go_pat(~is_synswitch=false, ~co_ctx=CoCtx.empty, p, m);
-          switch (Info.pat_ty(p')) {
-          | Unknown(_) => get_constraint_ty(ps)
-          | ty => ty
-          };
-        };
-      };
-      let constraint_ty =
-        switch (scrut.ty) {
-        | Unknown(_) => get_constraint_ty(ps)
-        | _ => scrut.ty
-        };
+      // let rec get_scrut_ty = ps => {
+      //   switch (ps) {
+      //   | [] => scrut.ty
+      //   | [p, ...ps] =>
+      //     let (p', _m) =
+      //       go_pat(
+      //         ~is_synswitch=false,
+      //         ~co_ctx=CoCtx.empty,
+      //         p,
+      //         m,
+      //       );
+      //     switch (Info.pat_ty(p')) {
+      //     | Unknown(_) => get_scrut_ty(ps)
+      //     | ty => ty
+      //     };
+      //   };
+      // };
+      // let scrut_ty =
+      //   switch (scrut.ty) {
+      //   | Unknown(_) => get_scrut_ty(ps)
+      //   | _ => scrut.ty
+      //   };
       let (ps', m) =
         map_m(
           go_pat(
@@ -466,7 +471,6 @@ and uexp_to_info_map =
                 ~is_synswitch=false,
                 ~co_ctx,
                 ~mode=Mode.Ana(scrut.ty),
-                ~constraint_ty=Some(constraint_ty),
                 p,
                 m,
               );