Skip to content
Browse files

Remove 'prefix' keyword

  • Loading branch information...
1 parent 232b6f6 commit 126eb940a78ff1b871b9d865e8c8d68605419010 Edwin Brady committed
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Core/CoreParser.hs
View
2 src/Core/CoreParser.hs
@@ -22,7 +22,7 @@ idrisDef = haskellDef {
reservedNames = ["let", "in", "data", "record", "Set",
"do", "dsl", "import", "impossible",
"case", "of", "total",
- "infix", "infixl", "infixr", "prefix",
+ "infix", "infixl", "infixr",
"where", "with", "forall", "syntax", "proof",
"using", "params", "namespace", "class", "instance",
"public", "private", "abstract",

0 comments on commit 126eb94

Please sign in to comment.
Something went wrong with that request. Please try again.