Ignore:
Timestamp:
Sep 20, 2010, 3:30:27 PM (9 years ago)
Author:
mulligan
Message:

Finished porting/fix type errors in physical.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.ml

    r90 r91  
     1open BitVectors;;
    12open Physical;;
    23
     
    78(* no differentiation between internal and external code memory *)
    89type status =
    9  { code_memory: byte WordMap.t;        (* can be reduced *)
    10    low_internal_ram: byte Byte7Map.t;
    11    high_internal_ram: byte Byte7Map.t;
    12    external_ram: byte WordMap.t;
     10 { code_memory: ([`Eight] vect) WordMap.t;        (* can be reduced *)
     11   low_internal_ram: ([`Eight] vect) Byte7Map.t;
     12   high_internal_ram: ([`Eight] vect) Byte7Map.t;
     13   external_ram: ([`Eight] vect) WordMap.t;
    1314
    1415   pc: word;
Note: See TracChangeset for help on using the changeset viewer.