Changeset 964 for src/Clight/Cexec.ma


Ignore:
Timestamp:
Jun 15, 2011, 4:15:55 PM (9 years ago)
Author:
campbell
Message:

Rest of cast fix.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Cexec.ma

    r961 r964  
    135135    (λi.
    136136      match ty' with
    137       [ Tint sz2 si2 ⇒ OK ? (Vint ? (cast_int_int sz1 sz2 si2 i))
     137      [ Tint sz2 si2 ⇒ OK ? (Vint ? (cast_int_int sz1 si1 sz2 i))
    138138      | Tfloat sz2 ⇒ OK ? (Vfloat (cast_float_float sz2 (cast_int_float si1 ? i)))
    139139      | Tpointer _ _ ⇒ do r ← try_cast_null m ? i ty ty'; OK val r
Note: See TracChangeset for help on using the changeset viewer.