Correct comment about "with" disambiguation.
commit3ba38f85717cc7ebcde80b72d3a7cd95fb646442
authorEcho Nolan <echo@echonolan.net>
dateSat 20 Feb 2016, 22:22 (11 years ago)
parentc1decaf
src/Idris/Parser/Expr.hs+1−1
@@ -586,7 +586,7 @@ runElab syn = do (FC fn (sl, sc) kwEnd) <- try (lchar '%' *> reservedFC "runElab
586586
587587{- | Parses a disambiguation expression
588588Disamb ::=
589− '%' 'disamb' NameList Expr
589+ 'with' NameList Expr
590590 ;
591591-}
592592disamb :: SyntaxInfo -> IdrisParser PTerm