Diff of /trunk/src/compiler/simplify/simple.sml

Parent Directory | Revision Log | Patch

	revision 191, Mon Aug 2 14:05:11 2010 UTC	revision 192, Mon Aug 2 16:23:42 2010 UTC
#	Line 15	Line 15
15
16	datatype program = Program of {	datatype program = Program of {
17	globals : var list,	globals : var list,
18	globalInit : stmt,	globalInit : block,
19	actors : actor list	actors : actor list
20	(* initialization *)	(* initialization *)
21	}	}
#	Line 24	Line 24
24	name : Atom.atom,	name : Atom.atom,
25	params : var list,	params : var list,
26	state : var list,	state : var list,
27	stateInit : stmt,	stateInit : block,
28	methods : method list	methods : method list
29	}	}
30
31	and method	and method = Method of Atom.atom * block
32	= M_Method of Atom.atom * stmt
33		and block = Block of stmt list
34
35	and stmt	and stmt
36	= S_Block of stmt list	= S_Assign of var * exp
37	| S_Assign of var * exp	| S_IfThenElse of var * block * block
	| S_IfThenElse of var * stmt * stmt
38	| S_New of Atom.atom * var list	| S_New of Atom.atom * var list
39	| S_Die	| S_Die
40	| S_Stabilize	| S_Stabilize
#	Line 47	Line 47
47	| E_Cons of var list	| E_Cons of var list
48
49	and create = C_Create of {	and create = C_Create of {
50	argInit : stmt,	argInit : block,
51	name : Atom.atom,	name : Atom.atom,
52	args : var list	args : var list
53	}	}
54
55	and iter = I_Range of {	and iter = I_Range of {
56	rangeInit : stmt,	rangeInit : block,
57	param : var,	param : var,
58	lo : var,	lo : var,
59	hi : var	hi : var

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.191   changed lines   Added in v.192

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0