git.iko.soy/Idris-dev
on master help sign in
tiny tiny tiny typo fix
3553b1dMekeor Melire
src/Idris/Parser.hs+1−1
compare with master
unifiedsplit
@@ -474,7 +474,7 @@ fixity = try (do reserved "infixl"; return Infixl)
474 <|> try (do reserved "infix"; return InfixN)
474 <|> try (do reserved "infix"; return InfixN)
475 <|> try (do reserved "prefix"; return PrefixN)
475 <|> try (do reserved "prefix"; return PrefixN)
476
476
477−--------- Tyoe classes ---------
477+--------- Type classes ---------
478
478
479pClass :: SyntaxInfo -> IParser [PDecl]
479pClass :: SyntaxInfo -> IParser [PDecl]
480pClass syn = do acc <- pAccessibility
480pClass syn = do acc <- pAccessibility