git.iko.soy/Idris-dev
on master help sign in
Apply fromInteger for negative numbers
ae3ad10Edwin Brady
src/Idris/Parser.hs+2−1
compare with master
unifiedsplit
@@ -570,7 +570,8 @@ pStatic = do lchar '['; reserved "static"; lchar ']';
570 <|> return Dynamic
570 <|> return Dynamic
571
571
572table fixes
572table fixes
573− = [[prefix "-" (\fc x -> PApp fc (PRef fc (UN ["-"])) [pexp (PConstant (I 0)), pexp x])]]
573+ = [[prefix "-" (\fc x -> PApp fc (PRef fc (UN ["-"]))
574+ [pexp (PApp fc (PRef fc (UN ["fromInteger"])) [pexp (PConstant (I 0))]), pexp x])]]
574 ++ toTable (reverse fixes) ++
575 ++ toTable (reverse fixes) ++
575 [[binary "=" (\fc x y -> PEq fc x y) AssocLeft],
576 [[binary "=" (\fc x y -> PEq fc x y) AssocLeft],
576 [binary "->" (\fc x y -> PPi expl (MN 0 "X") x y) AssocRight]]
577 [binary "->" (\fc x y -> PPi expl (MN 0 "X") x y) AssocRight]]