@@ -18,8 +18,6 @@ module Language.PureScript.TypeChecker.Types (
1818 typeOf
1919) where
2020
21−import Debug.Trace
22−
2321import Data.List
2422import Data.Maybe (fromMaybe)
2523import Data.Function
@@ -379,7 +377,7 @@ infer' m v@(TypedValue val ty) = do
379377 kind <- lift $ kindOf ty
380378 guardWith ("Expected type of kind *, was " ++ prettyPrintKind kind) $ kind == Star
381379 ty' <- lift $ replaceAllTypeSynonyms ty
382− trace (prettyPrintType ty') $ check m val ty'
380+ check m val ty'
383381 return ty'
384382
385383inferUnary :: UnaryOperator -> Type -> Subst Check Type