@@ -368,6 +368,7 @@ mkIdentifier (UN name) =
368368 cleanReserved "volatile" = "_volatile"
369369 cleanReserved "transient" = "_transient"
370370 cleanReserved "native" = "_native"
371+ cleanReserved "const" = "_const"
371372
372373 cleanReserved "import" = "_import"
373374 cleanReserved "package" = "_package"
@@ -441,9 +442,6 @@ idrisClosureType = ClassType [(Ident "Closure", [])]
441442idrisTailCallClosureType :: ClassType
442443idrisTailCallClosureType = ClassType [(Ident "TailCallClosure", [])]
443444
444−--idrisFunctionType :: ClassType
445−--idrisFunctionType = ClassType [(Ident "IdrisFunction", [])]
446−
447445idrisObjectType :: ClassType
448446idrisObjectType = ClassType [(Ident "IdrisObject", [])]
449447