Changes between Version 3 and Version 4 of IR2


Ignore:
Timestamp:
04/18/21 18:09:41 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v3 v4  
    88* `$int` : mathematical integers
    99* `$real` : mathematical reals
     10* `$float<e,f>` : IEEE floating-point numbers with e,f integer constants
     11* `_Bool`
     12* `$proc`
     13* `char`
     14* `$bundle`
     15* `$heap`
     16* `$range`
     17* `$domain`
     18* `enum tag`
     19* `struct tag`
     20* `union tag`
     21* `T[]`
     22* `T[n]` : do we want dependent types?
     23
     24