Merge pull request #2997 from enolan/with-comment
Correct comment about "with" disambiguation.
commit36a3edacd5cfef402be2e5030074398d699d4ce8
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 4 Mar 2016, 18:31 (11 years ago)
parentfc66d243ba38f8
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