@@ -35,10 +35,7 @@ idrisDef = haskellDef {
35 "where", "with", "syntax", "proof", "postulate",
35 "where", "with", "syntax", "proof", "postulate",
36 "using", "namespace", "class", "instance",
36 "using", "namespace", "class", "instance",
37 "public", "private", "abstract", "implicit",
37 "public", "private", "abstract", "implicit",
38− "quoteGoal",
38+ "quoteGoal"]
39− "Int", "Integer", "Float", "Char", "String", "Ptr",
40− "Bits8", "Bits16", "Bits32", "Bits64",
41− "Bits8x16", "Bits16x8", "Bits32x4", "Bits64x2"]
44-- | The characters allowed in operator names
41-- | The characters allowed in operator names