on master help sign in
Merge pull request #1326 from CodeBlock/spellingfix

fix spelling of "parenthesise"

commit007e2ea882b8a222e71e1744cf0b741af405644b authorDavid Christiansen <david@davidchristiansen.dk> dateMon 23 Jun 2014, 14:11 (12 years ago) parent22b254848a9659
1 file changed+3−3
src/Idris/AbsSyntaxTree.hs+3−3
src/Idris/AbsSyntaxTree.hs+3−3
@@ -1445,7 +1445,7 @@ bindingOf n imp = annotate (AnnBoundName n imp) (text (show n))
14451445
14461446-- | Pretty-printer helper for names that attaches the correct annotations
14471447prettyName
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
14491449 -> Bool -- ^^ whether to show namespaces
14501450 -> [(Name, Bool)] -- ^^ the current bound variables and whether they are implicit
14511451 -> Name -- ^^ the name to pprint
@@ -1453,7 +1453,7 @@ prettyName
14531453prettyName infixParen showNS bnd n
14541454 | Just imp <- lookup n bnd = annotate (AnnBoundName n imp) fullName
14551455 | 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))
14571457 baseName (UN n) = T.unpack n
14581458 baseName (NS n ns) = baseName n
14591459 baseName (MN i s) = T.unpack s
@@ -1465,7 +1465,7 @@ prettyName infixParen showNS bnd n
14651465 isInfix = case baseName n of
14661466 "" -> False
14671467 (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
14691469
14701470
14711471showCImp :: PPOption -> PClause -> Doc OutputAnnotation