git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge with master + fix error
3492dd5Benjamin Kovach
src/Language/PureScript/Pretty/Values.hs+4−2
compare with golang
unifiedsplit
@@ -28,7 +28,7 @@ import Control.Arrow (second)
28import Language.PureScript.AST
28import Language.PureScript.AST
29import Language.PureScript.Names
29import Language.PureScript.Names
30import Language.PureScript.Pretty.Common
30import Language.PureScript.Pretty.Common
31−import Language.PureScript.Pretty.Types (typeAsBox, typeAtomAsBox)
31+import Language.PureScript.Pretty.Types (typeAsBox, typeAtomAsBox, prettyPrintType)
32
32
33import Text.PrettyPrint.Boxes
33import Text.PrettyPrint.Boxes
34
34
@@ -129,6 +129,7 @@ prettyPrintDoNotationElement (DoNotationLet ds) =
129prettyPrintDoNotationElement (PositionedDoNotationElement _ _ el) = prettyPrintDoNotationElement el
129prettyPrintDoNotationElement (PositionedDoNotationElement _ _ el) = prettyPrintDoNotationElement el
130
130
131prettyPrintBinderAtom :: Binder -> String
131prettyPrintBinderAtom :: Binder -> String
132+
132prettyPrintBinderAtom NullBinder = "_"
133prettyPrintBinderAtom NullBinder = "_"
133prettyPrintBinderAtom (StringBinder str) = show str
134prettyPrintBinderAtom (StringBinder str) = show str
134prettyPrintBinderAtom (CharBinder c) = show c
135prettyPrintBinderAtom (CharBinder c) = show c
@@ -159,5 +160,6 @@ prettyPrintBinder :: Binder -> String
159prettyPrintBinder (ConstructorBinder ctor []) = runProperName (disqualify ctor)
160prettyPrintBinder (ConstructorBinder ctor []) = runProperName (disqualify ctor)
160prettyPrintBinder (ConstructorBinder ctor args) = runProperName (disqualify ctor) ++ " " ++ unwords (map prettyPrintBinderAtom args)
161prettyPrintBinder (ConstructorBinder ctor args) = runProperName (disqualify ctor) ++ " " ++ unwords (map prettyPrintBinderAtom args)
161prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder
162prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder
163+prettyPrintBinder (TypedBinder ty binder) =
162−prettyPrintBinder (TypedBinder ty binder) = prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty
164+ prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty
163prettyPrintBinder b = prettyPrintBinderAtom b
165prettyPrintBinder b = prettyPrintBinderAtom b