Changes between Version 79 and Version 80 of IR

Timestamp:

11/28/15 09:23:18 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -4 +4 @@
 Questions:
 * fix notation for contracts
-* can labels, whens, chooses be optional? 
-* quotes around variables in declarations?
-* quotes around function names in definitions, prototypes?
+* can labels, whens, chooses be optional?   See proposed statement grammar below.
+* quotes around variables in declarations?  Could be awkward but might simplify parsing.
+* quotes around function names in definitions, prototypes?  Could be awkward.
 * is there ever a need for a function prototype?  Could variable decl notation be used instead? NO, variable decls are different, those are state variables.
 * should we leave our parameter names in abstract and system functions?  They are not needed for anything.  THEY ARE NEEDED FOR CONTRACTS, sometimes, and maybe for documentation.    Consider making them optional.
 
+Proposed statement grammar:
+{{{
+statement: (ID ':')? (simpleStmt | chooseStmt)
+
+simpleStmt:
+  (guardedStmt | primitiveStmt) ('goto' ID ';')?
+
+guardedStmt:
+  'when' expr 'do' primitiveStmt
+
+chooseStmt:  'begin choose' simpleStmt+ 'end choose'
+}}}
+
+If goto is missing, default is the next location.
+If guard missing, deafult is true.
 
 
@@ -385 +400 @@
 pointer, ...
 Should these be called part of the language, or not?
-