Remove unused syntax for 'InferRef' definitions
Was only meant to be temporary! (InferRef are names in where clauses whose
types are to be inferred)
commit8f8ab98d550bddc1ad7b89f7a98ccffad35aaa48
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 15 Aug 2013, 12:08 (13 years ago)
parent84c4db0
src/Idris/Parser.hs−3
@@ -779,9 +779,6 @@ pSimpleExpr syn =
779779 <|> try (do x <- pfName
780780 fc <- pfc
781781 return (PRef fc x))
782− <|> try (do lchar '!'; x <- pfName
783− fc <- pfc
784− return (PInferRef fc x))
785782 <|> try (pList syn)
786783 <|> try (pComprehension syn)
787784 <|> try (pAlt syn)