on master help sign in
Remove unused syntax for 'InferRef' definitions
8f8ab98Edwin Brady
src/Idris/Parser.hs−3
@@ -779,9 +779,6 @@ pSimpleExpr syn =
779 <|> try (do x <- pfName
779 <|> try (do x <- pfName
780 fc <- pfc
780 fc <- pfc
781 return (PRef fc x))
781 return (PRef fc x))
782− <|> try (do lchar '!'; x <- pfName
783− fc <- pfc
784− return (PInferRef fc x))
785 <|> try (pList syn)
782 <|> try (pList syn)
786 <|> try (pComprehension syn)
783 <|> try (pComprehension syn)
787 <|> try (pAlt syn)
784 <|> try (pAlt syn)