Temporarily change back to UN to avoid strange errors
commit465d169cdb7666b69881c786981f39d064d93bdb
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 20 Mar 2014, 19:47 (13 years ago)
parentbe0bf4c
src/Idris/ParseOps.hs+1−1
@@ -39,7 +39,7 @@ table fixes
3939 [[backtick],
4040 [binary "$" (\fc x y -> PApp fc x [pexp y]) AssocRight],
4141 [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]]
4343
4444-- | Calculates table for fixtiy declarations
4545toTable :: [FixDecl] -> OperatorTable IdrisParser PTerm