git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2997 from enolan/with-comment
36a3edaNiklas Larsson
src/Idris/Parser/Expr.hs+1−1
compare with master
unifiedsplit
@@ -586,7 +586,7 @@ runElab syn = do (FC fn (sl, sc) kwEnd) <- try (lchar '%' *> reservedFC "runElab
586
586
587{- | Parses a disambiguation expression
587{- | Parses a disambiguation expression
588Disamb ::=
588Disamb ::=
589− '%' 'disamb' NameList Expr
589+ 'with' NameList Expr
590 ;
590 ;
591-}
591-}
592disamb :: SyntaxInfo -> IdrisParser PTerm
592disamb :: SyntaxInfo -> IdrisParser PTerm