git.iko.soy/Idris-dev
on master help sign in
Mangling of keyword "const"
f151deeJan Bessai
src/IRTS/CodegenJava.hs+1−3
compare with master
unifiedsplit
@@ -368,6 +368,7 @@ mkIdentifier (UN name) =
368 cleanReserved "volatile" = "_volatile"
368 cleanReserved "volatile" = "_volatile"
369 cleanReserved "transient" = "_transient"
369 cleanReserved "transient" = "_transient"
370 cleanReserved "native" = "_native"
370 cleanReserved "native" = "_native"
371+ cleanReserved "const" = "_const"
371
372
372 cleanReserved "import" = "_import"
373 cleanReserved "import" = "_import"
373 cleanReserved "package" = "_package"
374 cleanReserved "package" = "_package"
@@ -441,9 +442,6 @@ idrisClosureType = ClassType [(Ident "Closure", [])]
441idrisTailCallClosureType :: ClassType
442idrisTailCallClosureType :: ClassType
442idrisTailCallClosureType = ClassType [(Ident "TailCallClosure", [])]
443idrisTailCallClosureType = ClassType [(Ident "TailCallClosure", [])]
443
444
444−--idrisFunctionType :: ClassType
445−--idrisFunctionType = ClassType [(Ident "IdrisFunction", [])]
446−
447idrisObjectType :: ClassType
445idrisObjectType :: ClassType
448idrisObjectType = ClassType [(Ident "IdrisObject", [])]
446idrisObjectType = ClassType [(Ident "IdrisObject", [])]
449
447