src/Tools/Code/code_namespace.ML
changeset 55683 5732a55b9232
parent 55681 7714287dc044
child 55684 ee49b4f7edc8
     1.1 --- a/src/Tools/Code/code_namespace.ML	Sun Feb 23 10:33:43 2014 +0100
     1.2 +++ b/src/Tools/Code/code_namespace.ML	Sun Feb 23 10:33:43 2014 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4      reserved: Name.context, identifiers: Code_Target.identifier_data, empty_nsp: 'a,
     1.5      namify_stmt: Code_Thingol.stmt -> string -> 'a -> string * 'a,
     1.6      modify_stmt: Code_Thingol.stmt -> Code_Thingol.stmt option }
     1.7 -      -> Code_Thingol.program
     1.8 +      -> Code_Symbol.T list -> Code_Thingol.program
     1.9        -> { deresolver: string -> Code_Symbol.T -> string,
    1.10             flat_program: flat_program }
    1.11  
    1.12 @@ -32,7 +32,7 @@
    1.13      namify_stmt: Code_Thingol.stmt -> string -> 'c -> string * 'c,
    1.14      cyclic_modules: bool, empty_data: 'b, memorize_data: Code_Symbol.T -> 'b -> 'b,
    1.15      modify_stmts: (Code_Symbol.T * Code_Thingol.stmt) list -> 'a option list }
    1.16 -      -> Code_Thingol.program
    1.17 +      -> Code_Symbol.T list -> Code_Thingol.program
    1.18        -> { deresolver: string list -> Code_Symbol.T -> string,
    1.19             hierarchical_program: ('a, 'b) hierarchical_program }
    1.20    val print_hierarchical: { print_module: string list -> string -> 'b -> 'c list -> 'c,
    1.21 @@ -101,7 +101,7 @@
    1.22  type flat_program = ((string * (export * Code_Thingol.stmt) option) Code_Symbol.Graph.T * (string * Code_Symbol.T list) list) Graph.T;
    1.23  
    1.24  fun flat_program ctxt { module_prefix, module_name, reserved,
    1.25 -    identifiers, empty_nsp, namify_stmt, modify_stmt } program =
    1.26 +    identifiers, empty_nsp, namify_stmt, modify_stmt } exports program =
    1.27    let
    1.28  
    1.29      (* building module name hierarchy *)
    1.30 @@ -214,7 +214,8 @@
    1.31    end;
    1.32  
    1.33  fun hierarchical_program ctxt { module_name, reserved, identifiers, empty_nsp,
    1.34 -      namify_module, namify_stmt, cyclic_modules, empty_data, memorize_data, modify_stmts } program =
    1.35 +      namify_module, namify_stmt, cyclic_modules, empty_data, memorize_data, modify_stmts }
    1.36 +      exports program =
    1.37    let
    1.38  
    1.39      (* building module name hierarchy *)