Remove a debugging message
commit63d4595c0514d4fcfb0b62f776454488a17aa852
authorPhil Freeman <paf31@cantab.net>
dateTue 11 Mar 2014, 19:54 (13 years ago)
parent5c6061a
src/Language/PureScript/TypeChecker/Kinds.hs+1−1
@@ -134,7 +134,7 @@ infer (TypeVar v) = do
134134infer (TypeConstructor v) = do
135135 env <- liftCheck getEnv
136136 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 ++ "'"
138138 Just (kind, _) -> return kind
139139infer (TypeApp t1 t2) = do
140140 k0 <- fresh