1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
let compile f =
match Sys.command ("ocamlc -c " ^ f) with
| 0 -> ()
| _ -> failwith ("Cannot compile " ^ f);;
compile "prel.mli";;
compile "prel.ml";;
#load "prel.cmo";;
compile "asl.mli";;
compile "asl.ml";;
#load "asl.cmo";;
compile "token.mli";;
compile "token.ml";;
#load "token.cmo";;
compile "parser.mli";;
compile "parser.ml";;
#load "parser.cmo";;
compile "semant.ml";;
#load "semant.cmo";;
compile "typing.ml";;
#load "typing.cmo";;
compile "main.mli";;
compile "main.ml";;
#load "main.cmo";;
open Main;;
print_string
"\nTo run: type\n go ();;\n\n \
Try for instance:\n \
let I = \x. x;\n \
and then\n \
I I;\n\n \
See the README file for more information.\n";
print_newline();;
|
