@@ -18,8 +18,6 @@ module Language.PureScript.TypeChecker.Types (
23import Data.List
21import Data.List
24import Data.Maybe (fromMaybe)
22import Data.Maybe (fromMaybe)
25import Data.Function
23import Data.Function
@@ -379,7 +377,7 @@ infer' m v@(TypedValue val ty) = do
379 kind <- lift $ kindOf ty
377 kind <- lift $ kindOf ty
380 guardWith ("Expected type of kind *, was " ++ prettyPrintKind kind) $ kind == Star
378 guardWith ("Expected type of kind *, was " ++ prettyPrintKind kind) $ kind == Star
381 ty' <- lift $ replaceAllTypeSynonyms ty
379 ty' <- lift $ replaceAllTypeSynonyms ty
382− trace (prettyPrintType ty') $ check m val ty'
380+ check m val ty'
383 return ty'
381 return ty'
385inferUnary :: UnaryOperator -> Type -> Subst Check Type
383inferUnary :: UnaryOperator -> Type -> Subst Check Type