src/Tools/Code/code_ml.ML
changeset 43326 47cf4bc789aa
parent 42599 1a82b0400b2a
child 43345 165188299a25
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Jun 09 17:46:25 2011 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Jun 09 17:51:49 2011 +0200
     1.3 @@ -715,12 +715,12 @@
     1.4    let
     1.5      fun namify_const upper base (nsp_const, nsp_type) =
     1.6        let
     1.7 -        val (base', nsp_const') = yield_singleton Name.variants
     1.8 -          (if upper then first_upper base else base) nsp_const
     1.9 +        val (base', nsp_const') =
    1.10 +          Name.variant (if upper then first_upper base else base) nsp_const
    1.11        in (base', (nsp_const', nsp_type)) end;
    1.12      fun namify_type base (nsp_const, nsp_type) =
    1.13        let
    1.14 -        val (base', nsp_type') = yield_singleton Name.variants base nsp_type
    1.15 +        val (base', nsp_type') = Name.variant base nsp_type
    1.16        in (base', (nsp_const, nsp_type')) end;
    1.17      fun namify_stmt (Code_Thingol.Fun _) = namify_const false
    1.18        | namify_stmt (Code_Thingol.Datatype _) = namify_type