Ignore:
Timestamp:
Jul 12, 2012, 1:28:28 PM (6 years ago)
Author:
campbell
Message:

Remove memory spaces other than XData and Code; simplify pointers as a
result.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Animation.ma

    r1993 r2176  
    1313[ ASTint sz _ ⇒ match ev with [ EVint sz' i ⇒ intsize_eq_elim ? sz' sz ? i (λi.OK ? i) (Error ? (msg IllTypedEvent)) | _ ⇒ Error ? (msg IllTypedEvent) ]
    1414| ASTfloat _ ⇒ match ev with [ EVfloat f ⇒ OK ? f | _ ⇒ Error ? (msg IllTypedEvent) ]
    15 | ASTptr _ ⇒ Error ? (msg IllTypedEvent)
     15| ASTptr ⇒ Error ? (msg IllTypedEvent)
    1616].
    1717
Note: See TracChangeset for help on using the changeset viewer.