Use closure instead of failing with ambiguous type for argument types with free variables

1 files changed, 2 insertions, 7 deletions

diff --git a/src/Parser.hs b/src/Parser.hs
index 928dd88..62549eb 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -102,13 +102,8 @@ parseDefinition href = label "symbol definition" $ do
     modify $ \s -> s { testVars = ( name, ( GlobalVarName (testCurrentModuleName s) name, someExprType expr )) : testVars s }
     return def
   where
-    getInferredTypes atypes = forM atypes $ \( off, vname, tvar@(TypeVar tvarname) ) -> do
-        let err msg = do
-                registerParseError . FancyError off . S.singleton . ErrorFail $ T.unpack msg
-                return ( vname, SomeArgumentType OptionalArgument (ExprTypeForall (TypeVar "a") (ExprTypeVar (TypeVar "a"))) )
-        gets (M.lookup tvar . testTypeUnif) >>= \case
-            Just t -> return ( vname, SomeArgumentType RequiredArgument t )
-            Nothing -> err $ "ambiguous type for ‘" <> textVarName vname <> " : " <> tvarname <> "’"
+    getInferredTypes atypes = forM atypes $ \( _, vname, tvar ) -> do
+        ( vname, ) . SomeArgumentType OptionalArgument <$> typeClosure (ExprTypeVar tvar)
 
     replaceDynArgs :: forall a. Expr a -> TestParser (Expr a)
     replaceDynArgs expr = do