PolyAML/aspectml.sml at master · dantasfiles/PolyAML · GitHub

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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
structure AspectML :> ASPECTML=
struct

open PrettyPrint

fun run s =
    let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp) = Inference.inferProg sourceabsyn
	val (sourcetyp', coreabsyn) = Translate.transProg infsourceabsyn
	val tc = TypeCheck.typeProg coreabsyn
    in
	if tc
	then print (ppCProg (Eval.evalProg coreabsyn) ^ "\n")
	else ()
    end

fun parse s =
    let
	val _ = Compiler.Control.Print.printDepth := 100
    in
	print (ppSProg (Parse.parse s) ^ "\n")
    end


fun infer s =
    let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp) = Inference.inferProg sourceabsyn
    in
	print (ppSProg infsourceabsyn ^ "\n")
    end

fun inferDebug s =
   let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp, T) = Inference.inferDebug sourceabsyn
   in
       print (ppSExp infsourceabsyn ^ "\n\n" ^ ppInferT T)
   end

fun translate s =
   let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp) = Inference.inferProg sourceabsyn
	val (sourcetyp', coreabsyn) = Translate.transProg infsourceabsyn
   in
       print (ppCProg coreabsyn ^ "\n")
   end

fun typecheck s =
   let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp) = Inference.inferProg sourceabsyn
	val (sourcetyp', coreabsyn) = Translate.transProg infsourceabsyn
	val tc = TypeCheck.typeProg coreabsyn
   in
       print (ppCProg coreabsyn ^ (if tc
				 then "\nTYPECHECKED!\n"
				 else "\n DID NOT TYPECHECK!"))
   end


fun eval s =
    let
	val _ = Compiler.Control.Print.printDepth := 100
	val sourceabsyn = Parse.parse s
	val (infsourceabsyn, sourcetyp) = Inference.inferProg sourceabsyn
	val (sourcetyp', coreabsyn) = Translate.transProg infsourceabsyn
	val tc = TypeCheck.typeProg coreabsyn
    in
	if tc
	then print (ppCProg (Eval.evalProgDebug coreabsyn) ^ "\n")
	else ()
    end


end