on master help sign in
Allow operator to be parsed as expr in repl
72d3e86Zack Grannan
src/Idris/REPLParser.hs+6−1
@@ -200,10 +200,15 @@ exprArg cmd name = do
200 eof
200 eof
201 return $ Left ("Usage is :" ++ name ++ " <expression>")
201 return $ Left ("Usage is :" ++ name ++ " <expression>")
202
202
203+ let justOperator = do
204+ (op, fc) <- P.maybeWithNS P.operatorFC False []
205+ eof
206+ return $ Right $ cmd (PRef fc [] op)
207+
203 let properArg = do
208 let properArg = do
204 t <- P.fullExpr defaultSyntax
209 t <- P.fullExpr defaultSyntax
205 return $ Right (cmd t)
210 return $ Right (cmd t)
206− try noArg <|> properArg
211+ try noArg <|> try justOperator <|> properArg
207
212
208
213
209
214