fix type substitution issue

willtim · Aug 24, 2018 · ea82773 · ea82773
1 parent 72fc87d
commit ea82773
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Expresso/Type.hs b/src/Expresso/Type.hs
@@ -161,7 +161,7 @@ instance Types Type where
     alg (TMetaVarF v :*: K p) =
         case IM.lookup (metaUnique v) (unSubst s) of
             Nothing -> Fix (TMetaVarF v :*: K p)
-            Just t  -> t -- TODO
+            Just t  -> apply s t -- TODO could this ever fail to terminate?
     alg e = Fix e
 
 instance Types TypeEnv where