Changeset 2624 for src/common/AST.ma


Ignore:
Timestamp:
Feb 6, 2013, 6:39:21 PM (8 years ago)
Author:
campbell
Message:

Properly evict unused and axiomatised Floats.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r2468 r2624  
    1919include "basics/types.ma".
    2020include "common/Integers.ma".
    21 include "common/Floats.ma".
    2221include "ASM/Arithmetic.ma".
    2322include "common/Identifiers.ma".
     
    292291  | Init_int16: bvint I16 → init_data
    293292  | Init_int32: bvint I32 → init_data
    294   | Init_float32: float → init_data
    295   | Init_float64: float → init_data
     293(*  | Init_float32: float → init_data
     294  | Init_float64: float → init_data*)
    296295  | Init_space: nat → init_data
    297296  | Init_null: (*region →*) init_data
Note: See TracChangeset for help on using the changeset viewer.