5618f8e · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

Remove type annotation in pretty print + add exhaustivity checker case

commit5618f8e341a58493e5a4ec9c32c95465380b514e authorBenjamin Kovach <bkovach5@uga.edu> dateThu 15 Oct 2015, 20:52 (11 years ago) parent3492dd5

2 files changed+3−3

unifiedsplit

src/Language/PureScript/Linter/Exhaustive.hs+1

@@ -160,6 +160,7 @@ missingCasesSingle _ _ (BooleanBinder bl) (BooleanBinder br)

160160 | bl == br = ([], return True)

161161 | otherwise = ([BooleanBinder bl], return False)

162162missingCasesSingle env mn b (PositionedBinder _ _ cb) = missingCasesSingle env mn b cb

163+missingCasesSingle env mn b (TypedBinder _ cb) = missingCasesSingle env mn b cb

163164missingCasesSingle _ _ b _ = ([b], Left Unknown)

164165

165166-- |

src/Language/PureScript/Pretty/Values.hs+2−3

@@ -28,7 +28,7 @@ import Control.Arrow (second)

2828import Language.PureScript.AST

2929import Language.PureScript.Names

3030import Language.PureScript.Pretty.Common

31−import Language.PureScript.Pretty.Types (typeAsBox, typeAtomAsBox, prettyPrintType)

31+import Language.PureScript.Pretty.Types (typeAsBox, typeAtomAsBox)

3232

3333import Text.PrettyPrint.Boxes

3434

@@ -160,6 +160,5 @@ prettyPrintBinder :: Binder -> String

160160prettyPrintBinder (ConstructorBinder ctor []) = runProperName (disqualify ctor)

161161prettyPrintBinder (ConstructorBinder ctor args) = runProperName (disqualify ctor) ++ " " ++ unwords (map prettyPrintBinderAtom args)

162162prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder

163−prettyPrintBinder (TypedBinder ty binder) =

164− prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty

163+prettyPrintBinder (TypedBinder _ binder) = prettyPrintBinder binder

165164prettyPrintBinder b = prettyPrintBinderAtom b