10 val global: T |
10 val global: T |
11 val global_values: (string * string) list -> T |
11 val global_values: (string * string) list -> T |
12 val forget_val: string -> unit |
12 val forget_val: string -> unit |
13 val forget_type: string -> unit |
13 val forget_type: string -> unit |
14 val forget_structure: string -> unit |
14 val forget_structure: string -> unit |
|
15 val hidden_structures: string list |
15 val bootstrap_values: string list |
16 val bootstrap_values: string list |
16 val hidden_structures: string list |
|
17 val bootstrap_structures: string list |
17 val bootstrap_structures: string list |
18 val bootstrap_signatures: string list |
18 val bootstrap_signatures: string list |
19 val sml_val: (string * PolyML.NameSpace.Values.value) list |
19 val sml_val: (string * PolyML.NameSpace.Values.value) list |
20 val sml_type: (string * PolyML.NameSpace.TypeConstrs.typeConstr) list |
20 val sml_type: (string * PolyML.NameSpace.TypeConstrs.typeConstr) list |
21 val sml_fixity: (string * PolyML.NameSpace.Infixes.fixity) list |
21 val sml_fixity: (string * PolyML.NameSpace.Infixes.fixity) list |
62 |
62 |
63 val forget_val = PolyML.Compiler.forgetValue; |
63 val forget_val = PolyML.Compiler.forgetValue; |
64 val forget_type = PolyML.Compiler.forgetType; |
64 val forget_type = PolyML.Compiler.forgetType; |
65 val forget_structure = PolyML.Compiler.forgetStructure; |
65 val forget_structure = PolyML.Compiler.forgetStructure; |
66 |
66 |
|
67 val hidden_structures = ["CInterface", "Foreign", "RunCall", "Signal"]; |
|
68 |
67 |
69 |
68 (* bootstrap environment *) |
70 (* bootstrap environment *) |
69 |
71 |
70 val bootstrap_values = |
72 val bootstrap_values = |
71 ["use", "exit", "ML_file", "ML_system_pretty", "ML_system_pp", "ML_system_overload", |
73 ["use", "exit", "ML_file", "ML_system_pretty", "ML_system_pp", "ML_system_overload", |
72 "chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph"]; |
74 "chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph"]; |
73 val hidden_structures = ["CInterface", "Foreign", "RunCall", "RuntimeCalls", "Signal"]; |
|
74 val bootstrap_structures = |
75 val bootstrap_structures = |
75 ["Exn", "Output_Primitives", "Basic_Exn", "Thread_Data", "Thread_Position", "ML_Recursive", |
76 ["Exn", "Output_Primitives", "Basic_Exn", "Thread_Data", "Thread_Position", "ML_Recursive", |
76 "Private_Output", "PolyML"] @ hidden_structures; |
77 "Private_Output", "PolyML"] @ hidden_structures; |
77 val bootstrap_signatures = |
78 val bootstrap_signatures = |
78 ["EXN", "OUTPUT_PRIMITIVES", "BASIC_EXN", "THREAD_DATA", "THREAD_POSITION", "ML_RECURSIVE", |
79 ["EXN", "OUTPUT_PRIMITIVES", "BASIC_EXN", "THREAD_DATA", "THREAD_POSITION", "ML_RECURSIVE", |