Changes between Version 101 and Version 102 of IR

Timestamp:

11/30/15 10:01:22 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -27 +27 @@
 
 {{{
-program: block ;
+program: typedef* vardecl* fundef+ ;
 block: '{' typedef* vardecl* fundef* statement* '}' ;
 statement: block | basicStmt ;
@@ -383 +383 @@
 * `lib="..."`: function is a system function defined in specified library
 * `guard="...":` the name of the guard function
+* `main` : this is the program entry point (global scope only)
 
 System functions:
@@ -468 +469 @@
 == Program ==
 
-A program consists of a sequence of global variable declarations, which may include declarations annotated by `input` and `output`,
-followed by a sequence of function declarations and definitions.
+A program consists of a sequence of type definitions, followed by a sequence of variable declarations, followed by a sequence of function definitions.  This is called the "global scope."
+
+The variable declarations in the global scope may use the options
 * `input`
 * `output`
+
+There must be exactly one global function definition with option `main`.  This function must consume no inputs and return an `Integer` (check this).
 
 == Semantics ==