on master help sign in
Allow operator to be parsed as expr in repl
commit72d3e866573f25a0c35731dfc702d289642106c9 authorZack Grannan <zgrannan@gmail.com> dateMon 28 Sep 2015, 19:50 (11 years ago) parent0400a88
1 file changed+6−1
src/Idris/REPLParser.hs+6−1
src/Idris/REPLParser.hs+6−1
@@ -200,10 +200,15 @@ exprArg cmd name = do
200200 eof
201201 return $ Left ("Usage is :" ++ name ++ " <expression>")
202202
203+ let justOperator = do
204+ (op, fc) <- P.maybeWithNS P.operatorFC False []
205+ eof
206+ return $ Right $ cmd (PRef fc [] op)
207+
203208 let properArg = do
204209 t <- P.fullExpr defaultSyntax
205210 return $ Right (cmd t)
206− try noArg <|> properArg
211+ try noArg <|> try justOperator <|> properArg
207212
208213
209214