|
|
1.1 root 1: structure Invoke =
2: struct
3: structure Main = Main
4:
5: (* User Interface *)
6:
7: fun cut_off_last_char s = (implode o rev o tl o rev o explode) s
8:
9: fun user_interface () =
10: (output std_out "ML-Twig version 1.0, June 1989\n\
11: \Name of the specification file : "; flush_out std_out;
12: cut_off_last_char(input_line std_in))
13:
14: val dummy = Main.main(user_interface())
15: end;
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.