From 48ccda95497cdceffa261583eb31d2f03b2d473b Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Fri, 15 Mar 2024 18:22:17 -0600
Subject: [PATCH] typCheckRlpProgR forgot to solve constraints :skull:

---
 src/Rlp/HindleyMilner.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Rlp/HindleyMilner.hs b/src/Rlp/HindleyMilner.hs
index c950ef9..7b72730 100644
--- a/src/Rlp/HindleyMilner.hs
+++ b/src/Rlp/HindleyMilner.hs
@@ -207,7 +207,7 @@ typeCheckRlpProgR :: (Monad m)
 typeCheckRlpProgR p = tc p
   where
     g = buildInitialContext p
-    tc = liftHM . traverse (infer' g) . etaExpandAll
+    tc = liftHM . traverse (solve' g) . etaExpandAll
     etaExpandAll = programDecls . each %~ etaExpand
 
 etaExpand :: Decl b (RlpExpr b) -> Decl b (RlpExpr b)