--- a/src/Tools/Code/code_ml.ML Thu Jun 09 17:46:25 2011 +0200
+++ b/src/Tools/Code/code_ml.ML Thu Jun 09 17:51:49 2011 +0200
@@ -715,12 +715,12 @@
let
fun namify_const upper base (nsp_const, nsp_type) =
let
- val (base', nsp_const') = yield_singleton Name.variants
- (if upper then first_upper base else base) nsp_const
+ val (base', nsp_const') =
+ Name.variant (if upper then first_upper base else base) nsp_const
in (base', (nsp_const', nsp_type)) end;
fun namify_type base (nsp_const, nsp_type) =
let
- val (base', nsp_type') = yield_singleton Name.variants base nsp_type
+ val (base', nsp_type') = Name.variant 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