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