@@ -22,7 +22,7 @@ idrisDef = haskellDef {
22 reservedNames = ["let", "in", "data", "record", "Set",
22 reservedNames = ["let", "in", "data", "record", "Set",
23 "do", "dsl", "import", "impossible",
23 "do", "dsl", "import", "impossible",
24 "case", "of", "total",
24 "case", "of", "total",
25− "infix", "infixl", "infixr", "prefix",
25+ "infix", "infixl", "infixr",
26 "where", "with", "forall", "syntax", "proof",
26 "where", "with", "forall", "syntax", "proof",
27 "using", "params", "namespace", "class", "instance",
27 "using", "params", "namespace", "class", "instance",
28 "public", "private", "abstract",
28 "public", "private", "abstract",