allow infer proj on grout

hazelgrove · May 21, 2024 · 6f48f27 · 6f48f27
1 parent eb0cb66
commit 6f48f27
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/haz3lcore/zipper/Projector.re b/src/haz3lcore/zipper/Projector.re
@@ -38,7 +38,7 @@ let update = (ci: option(Info.t), p: t): t =>
     let expected_ty =
       switch (ci) {
       | Some(InfoExp({mode, _}) | InfoPat({mode, _})) => Mode.ty_of(mode)
-      | _ => Typ.Float
+      | _ => Typ.Unknown(Internal)
       };
     Infer({expected_ty: Some(expected_ty)});
   };
@@ -50,6 +50,7 @@ let can_project = (prj: t, p: Piece.t) =>
     && (
       switch (p) {
       | Tile(t) => t.mold.out == Exp || t.mold.out == Pat
+      | Grout(_) => true
       | _ => false
       }
     )