@@ -33,8 +33,10 @@ import qualified Data.ByteString.UTF8 as UTF8
33-- using pre-build and user-defined operator/fixity declarations
33-- using pre-build and user-defined operator/fixity declarations
34table :: [FixDecl] -> OperatorTable IdrisParser PTerm
34table :: [FixDecl] -> OperatorTable IdrisParser PTerm
35table fixes
35table fixes
36− = [[prefix "-" (\fc x -> PApp fc (PRef fc (sUN "-"))
37+-- [[prefix "-" (\fc x -> PApp fc (PRef fc (sUN "-"))
37− [pexp (PApp fc (PRef fc (sUN "fromInteger")) [pexp (PConstant (BI 0))]), pexp x])]]
38+-- [pexp (PApp fc (PRef fc (sUN "fromInteger")) [pexp (PConstant (BI 0))]), pexp x])]]
39+ [[prefix "-" (\fc x -> PApp fc (PRef fc (sUN "negate")) [pexp x])]]
38 ++ toTable (reverse fixes) ++
40 ++ toTable (reverse fixes) ++
39 [[backtick],
41 [[backtick],
40 [binary "$" (\fc x y -> flatten $ PApp fc x [pexp y]) AssocRight],
42 [binary "$" (\fc x y -> flatten $ PApp fc x [pexp y]) AssocRight],