Changes between Version 88 and Version 89 of IR

Timestamp:

11/29/15 15:37:38 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -228 +228 @@
 * `root`, `here` : values of type `Scope`
 * `self`, `proc_null` : values of type `Proc`
+* `scopeof(e)`: scope of left-hand-side expression `e`
+* `scope_eq(e1,e2)` : equality of two dyscopes
+* `scope_lt(e1,e2)` : is first scope a proper subscope of second?
+* `scope_lte(e1,e2)`: is first scope a subscope or equal to second?
 Other expressions
 * `"x"` : x is an identifier, naming either a type, variable, or function
+* `subtype(e1,e2)`: is `e1` a subtype of `e2`?  Both args have type `Dytype`.
 * `sizeof_type(t)` : the size of the dynamic type t; `Integer` type
 * `sizeof_expr(e)` : the size of the value of expression `e`; `Integer` type