src/Tools/Code/code_ml.ML
changeset 43345 165188299a25
parent 43343 e83695ea0e0a
parent 43326 47cf4bc789aa
child 44788 8b935f1b3cf8
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Jun 09 15:14:21 2011 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Jun 09 23:30:18 2011 +0200
     1.3 @@ -716,12 +716,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