From 6f48f27bc2cda74adcbe910c23e700ffc30e7866 Mon Sep 17 00:00:00 2001
From: disconcision <me@andrewblinn.com>
Date: Tue, 21 May 2024 12:56:19 -0400
Subject: [PATCH] allow infer proj on grout

---
 src/haz3lcore/zipper/Projector.re | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/haz3lcore/zipper/Projector.re b/src/haz3lcore/zipper/Projector.re
index 4481a15267..26701e3c0e 100644
--- 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
       }
     )