Ignore:
Timestamp:
Feb 11, 2011, 4:45:36 PM (9 years ago)
Author:
campbell
Message:

Make block type a little more abstract; remove knowledge about the old
representation for a pointer from the evaluation of lvalues.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Csyntax.ma

    r487 r498  
    628628inductive mode: Type[0] ≝
    629629  | By_value: memory_chunk → mode
    630   | By_reference: mode
     630  | By_reference: region → mode
    631631  | By_nothing: mode.
    632632
     
    645645  | Tvoid ⇒ By_nothing
    646646  | Tpointer r _ ⇒ By_value (Mpointer r)
    647   | Tarray _ _ _ ⇒ By_reference
    648   | Tfunction _ _ ⇒ By_reference
     647  | Tarray r _ _ ⇒ By_reference r
     648  | Tfunction _ _ ⇒ By_reference Code
    649649  | Tstruct _ fList ⇒ By_nothing
    650650  | Tunion _ fList ⇒ By_nothing
Note: See TracChangeset for help on using the changeset viewer.