63 val bootstrap_values = |
63 val bootstrap_values = |
64 ["use", "exit", "ML_file", "ML_system_pretty", "ML_system_pp", "ML_system_overload", |
64 ["use", "exit", "ML_file", "ML_system_pretty", "ML_system_pp", "ML_system_overload", |
65 "chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph"]; |
65 "chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph"]; |
66 val hidden_structures = ["CInterface", "Foreign", "RunCall", "RuntimeCalls", "Signal"]; |
66 val hidden_structures = ["CInterface", "Foreign", "RunCall", "RuntimeCalls", "Signal"]; |
67 val bootstrap_structures = |
67 val bootstrap_structures = |
68 ["Exn", "Basic_Exn", "Thread_Data", "ML_Recursive", "PolyML"] @ hidden_structures; |
68 ["Exn", "Basic_Exn", "Thread_Data", "Thread_Position", "ML_Recursive", "PolyML"] @ |
|
69 hidden_structures; |
69 val bootstrap_signatures = |
70 val bootstrap_signatures = |
70 ["EXN", "BASIC_EXN", "THREAD_DATA", "ML_RECURSIVE"]; |
71 ["EXN", "BASIC_EXN", "THREAD_DATA", "THREAD_POSITION", "ML_RECURSIVE"]; |
71 |
72 |
72 |
73 |
73 (* Standard ML environment *) |
74 (* Standard ML environment *) |
74 |
75 |
75 val sml_val = |
76 val sml_val = |