Changes between Version 66 and Version 67 of IR2

Timestamp:

05/03/21 22:29:54 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -11 +11 @@
 * In general, symbols can be used before they are defined, as long as they are in scope. For example, a function f can call g, even if g is defined after f in the same scope. There is no need for a "prototype". Similarly, a type definition can refer to a type defined later, or can refer to itself in its own definition.
 * Many of the core operations are implemented as functions in the standard library.  This is similar to C.   The header files for the standard library are an integral part of the language.
+* Evaluation of expressions and execution of statements should always result in a value or state.  There is no concept of exception or error.   Hence anything that should be checked should be checked by explicit assertions.
 
 
@@ -194 +195 @@
 
 {{{
-lvalue:
+expr:
   | ID
-  | lvalue '[' expr ']'
-  | lvalue '.' ID
-  | '*' expr
-  ;
-expr:
   | lvalue
   | '$true'
@@ -226 +222 @@
   | expr '<' expr  /* less than */
   | expr '<=" expr  /* less than or equal to */
-  | expr '[' expr ']'  /* array access */
+  | expr '[' expr ']'  /* array element access */
+  | expr '.' ID  /* field access */
   | '(' expr ')'
   | '-' expr  /* negative */