@@ -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)
31+import Language.PureScript.Pretty.Types (typeAsBox, typeAtomAsBox, prettyPrintType)
3232
3333import Text.PrettyPrint.Boxes
3434
@@ -129,6 +129,7 @@ prettyPrintDoNotationElement (DoNotationLet ds) =
129129prettyPrintDoNotationElement (PositionedDoNotationElement _ _ el) = prettyPrintDoNotationElement el
130130
131131prettyPrintBinderAtom :: Binder -> String
132+
132133prettyPrintBinderAtom NullBinder = "_"
133134prettyPrintBinderAtom (StringBinder str) = show str
134135prettyPrintBinderAtom (CharBinder c) = show c
@@ -159,5 +160,6 @@ prettyPrintBinder :: Binder -> String
159160prettyPrintBinder (ConstructorBinder ctor []) = runProperName (disqualify ctor)
160161prettyPrintBinder (ConstructorBinder ctor args) = runProperName (disqualify ctor) ++ " " ++ unwords (map prettyPrintBinderAtom args)
161162prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder
162−prettyPrintBinder (TypedBinder ty binder) = prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty
163+prettyPrintBinder (TypedBinder ty binder) =
164+ prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty
163165prettyPrintBinder b = prettyPrintBinderAtom b