on master help sign in
indent fixity error message
commit2250085084793d614e557f5297d6c840d0a5b16a authorraichoo <raichoo@googlemail.com> dateMon 26 Nov 2012, 20:47 (14 years ago) parent5d33da2
1 file changed+2−2
src/Idris/Parser.hs+2−2
src/Idris/Parser.hs+2−2
@@ -496,8 +496,8 @@ pFixity = do pushIndent
496496 })
497497 fc <- pfc
498498 return (PFix fc (f prec) ops)
499− else fail $ concatMap (\(f, (x:xs)) -> "Illegal redeclaration of fixity: \""
500− ++ show f ++ "\" overrides \"" ++ show x ++ "\"\n") ill
499+ else fail $ concatMap (\(f, (x:xs)) -> "Illegal redeclaration of fixity:\n\t\""
500+ ++ show f ++ "\" overrides \"" ++ show x ++ "\"") ill
501501 where alreadyDeclared :: [FixDecl] -> FixDecl -> (FixDecl, [FixDecl])
502502 alreadyDeclared fs f = (f, filter ((extractName f ==) . extractName) fs)
503503