@@ -134,7 +134,7 @@ infer (TypeVar v) = do
134infer (TypeConstructor v) = do
134infer (TypeConstructor v) = do
135 env <- liftCheck getEnv
135 env <- liftCheck getEnv
136 case M.lookup v (types env) of
136 case M.lookup v (types env) of
137− Nothing -> UnifyT . lift . throwError $ "Unknown type constructor '" ++ show v ++ "'" ++ show (M.keys (types env))
137+ Nothing -> UnifyT . lift . throwError $ "Unknown type constructor '" ++ show v ++ "'"
138 Just (kind, _) -> return kind
138 Just (kind, _) -> return kind
139infer (TypeApp t1 t2) = do
139infer (TypeApp t1 t2) = do
140 k0 <- fresh
140 k0 <- fresh