AmbiguousTypeVariable error: prettyPrintType -> typeAsBox (#2428)
* 2374: Add error message for ambiguous type variables in inferred contexts
* 2323 add contribution entry. remove Ident from AmbiguousTypeVariables since it's redundant with the enclosing compiler error's ident
* 2323 update error message
* 2374 multiline error message and print type, not type atom
* 2374 print type as box, not prettyprinted single
* remove conflict line
commit6561a9f0e811eb35f4a6a086f4865131e5d6dc3c
authorbbqbaron <osiris1723@gmail.com>
dateTue 15 Nov 2016, 12:31 (10 years ago)
parentc5432ce
src/Language/PureScript/Errors.hs+1−1
@@ -640,7 +640,7 @@ prettyPrintSingleError (PPEOptions codeColor full level showWiki) e = flip evalS
640640 go _ = False
641641 renderSimpleErrorMessage (AmbiguousTypeVariables t _) =
642642 paras [ line "The inferred type"
643− , indent $ line $ markCode $ prettyPrintType t
643+ , markCodeBox $ indent $ typeAsBox t
644644 , line "has type variables which are not mentioned in the body of the type. Consider adding a type annotation."
645645 ]
646646 renderSimpleErrorMessage (PossiblyInfiniteInstance nm ts) =