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

Parent Directory | Revision Log | Patch

	revision 510, Tue Feb 8 16:12:38 2011 UTC	revision 511, Tue Feb 8 17:01:43 2011 UTC
#	Line 3	Line 3
3	* COPYRIGHT (c) 2010 The Diderot Project (http://diderot-language.cs.uchicago.edu)	* COPYRIGHT (c) 2010 The Diderot Project (http://diderot-language.cs.uchicago.edu)
4	* All rights reserved.	* All rights reserved.
5	*	*
6	* A simplified AST representation of a Diderot program	* A simplified AST representation of a Diderot program.  This representation has the property
7		* that the arguments to ifs, operators, etc. are variables and that the rhs of assignments
8		* consist of a single operation.  It is not, however, a single-assignment representation.
9	*)	*)
10
11	structure Simple =	structure Simple =
#	Line 16	Line 18
18	datatype program = Program of {	datatype program = Program of {
19	globals : var list,	globals : var list,
20	globalInit : block,	globalInit : block,
21	actors : actor list	strands : strand list
22	(* initialization *)	(* initialization *)
23	}	}
24
25	and actor = Actor of {	and strand = Strand of {
26	name : Atom.atom,	name : Atom.atom,
27	params : var list,	params : var list,
28	state : var list,	state : var list,

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.510   changed lines   Added in v.511

---

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