git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Reduce duplicate errors
5061808Phil Freeman
src/Language/PureScript/TypeChecker/Types.hs+1−1
compare with golang
unifiedsplit
@@ -565,7 +565,7 @@ check' val kt@(KindedType ty kind) = do
565 val' <- check' val ty
565 val' <- check' val ty
566 return $ TypedValue True val' kt
566 return $ TypedValue True val' kt
567check' (PositionedValue pos _ val) ty =
567check' (PositionedValue pos _ val) ty =
568− rethrowWithPosition pos $ check val ty
568+ rethrowWithPosition pos $ check' val ty
569check' val ty = throwError $ mkErrorStack ("Expr does not have type " ++ prettyPrintType ty) (Just (ExprError val))
569check' val ty = throwError $ mkErrorStack ("Expr does not have type " ++ prettyPrintType ty) (Just (ExprError val))
570
570
571containsTypeSynonyms :: Type -> Bool
571containsTypeSynonyms :: Type -> Bool