@@ -1445,7 +1445,7 @@ bindingOf n imp = annotate (AnnBoundName n imp) (text (show n))
1446-- | Pretty-printer helper for names that attaches the correct annotations
1446-- | Pretty-printer helper for names that attaches the correct annotations
1447prettyName
1447prettyName
1448− :: Bool -- ^^ whether the name should be parenthasized if it is an infix operator
1448+ :: Bool -- ^^ whether the name should be parenthesised if it is an infix operator
1449 -> Bool -- ^^ whether to show namespaces
1449 -> Bool -- ^^ whether to show namespaces
1450 -> [(Name, Bool)] -- ^^ the current bound variables and whether they are implicit
1450 -> [(Name, Bool)] -- ^^ the current bound variables and whether they are implicit
1451 -> Name -- ^^ the name to pprint
1451 -> Name -- ^^ the name to pprint
@@ -1453,7 +1453,7 @@ prettyName
1453prettyName infixParen showNS bnd n
1453prettyName infixParen showNS bnd n
1454 | Just imp <- lookup n bnd = annotate (AnnBoundName n imp) fullName
1454 | Just imp <- lookup n bnd = annotate (AnnBoundName n imp) fullName
1455 | otherwise = annotate (AnnName n Nothing Nothing Nothing) fullName
1455 | otherwise = annotate (AnnName n Nothing Nothing Nothing) fullName
1456− where fullName = text nameSpace <> parenthasize (text (baseName n))
1456+ where fullName = text nameSpace <> parenthesise (text (baseName n))
1457 baseName (UN n) = T.unpack n
1457 baseName (UN n) = T.unpack n
1458 baseName (NS n ns) = baseName n
1458 baseName (NS n ns) = baseName n
1459 baseName (MN i s) = T.unpack s
1459 baseName (MN i s) = T.unpack s
@@ -1465,7 +1465,7 @@ prettyName infixParen showNS bnd n
1465 isInfix = case baseName n of
1465 isInfix = case baseName n of
1466 "" -> False
1466 "" -> False
1467 (c : _) -> not (isAlpha c)
1467 (c : _) -> not (isAlpha c)
1468− parenthasize = if isInfix && infixParen then enclose lparen rparen else id
1468+ parenthesise = if isInfix && infixParen then enclose lparen rparen else id
1471showCImp :: PPOption -> PClause -> Doc OutputAnnotation
1471showCImp :: PPOption -> PClause -> Doc OutputAnnotation