git.iko.soy/Idris-dev
on master help sign in
Temporarily change back to UN to avoid strange errors
465d169David Raymond Christiansen
src/Idris/ParseOps.hs+1−1
compare with master
unifiedsplit
@@ -39,7 +39,7 @@ table fixes
39 [[backtick],
39 [[backtick],
40 [binary "$" (\fc x y -> PApp fc x [pexp y]) AssocRight],
40 [binary "$" (\fc x y -> PApp fc x [pexp y]) AssocRight],
41 [binary "=" PEq AssocLeft],
41 [binary "=" PEq AssocLeft],
42− [binary "->" (\fc x y -> PPi expl (sMN 0 "__pi_arg") x y) AssocRight]]
42+ [binary "->" (\fc x y -> PPi expl (sUN "__pi_arg") x y) AssocRight]]
43
43
44-- | Calculates table for fixtiy declarations
44-- | Calculates table for fixtiy declarations
45toTable :: [FixDecl] -> OperatorTable IdrisParser PTerm
45toTable :: [FixDecl] -> OperatorTable IdrisParser PTerm