--- a/src/Tools/Code/code_ml.ML Fri May 02 14:15:23 2014 +0200
+++ b/src/Tools/Code/code_ml.ML Fri May 02 21:18:50 2014 +0200
@@ -723,12 +723,11 @@
let
fun namify_const upper base (nsp_const, nsp_type) =
let
- val (base', nsp_const') =
- Name.variant (if upper then Name.enforce_case true base else base) nsp_const
+ val (base', nsp_const') = Name.variant (Name.enforce_case upper base) nsp_const
in (base', (nsp_const', nsp_type)) end;
fun namify_type base (nsp_const, nsp_type) =
let
- val (base', nsp_type') = Name.variant base nsp_type
+ val (base', nsp_type') = Name.variant (Name.enforce_case false base) nsp_type
in (base', (nsp_const, nsp_type')) end;
fun namify_stmt (Code_Thingol.Fun _) = namify_const false
| namify_stmt (Code_Thingol.Datatype _) = namify_type