Changeset 2533 for src/common


Ignore:
Timestamp:
Dec 5, 2012, 7:20:23 PM (7 years ago)
Author:
campbell
Message:

Some fall out from removing floats.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Animation.ma

    r2176 r2533  
    1212match io_in_typ o return λt. res (eventval_type t) with
    1313[ ASTint sz _ ⇒ match ev with [ EVint sz' i ⇒ intsize_eq_elim ? sz' sz ? i (λi.OK ? i) (Error ? (msg IllTypedEvent)) | _ ⇒ Error ? (msg IllTypedEvent) ]
    14 | ASTfloat _ ⇒ match ev with [ EVfloat f ⇒ OK ? f | _ ⇒ Error ? (msg IllTypedEvent) ]
    1514| ASTptr ⇒ Error ? (msg IllTypedEvent)
    1615].
Note: See TracChangeset for help on using the changeset viewer.