diff options
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index e03d999e..b6f16d4f 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -19,7 +19,7 @@ type env = list (id * value) let emem = Mem 1 Pmap.empty type reg_form = - | Reg of typ + | Reg of id * typ | SubReg of id * reg_form * index_range (* These may need to be refined or expanded based on memory requirement *) @@ -51,15 +51,15 @@ let rec to_registers (Defs defs) = match def with | DEF_spec valsp -> match valsp with - | VS_val_spec (TypSchm_ts tq ((Typ_app (Id "reg") _) as t)) id -> (id, Reg t):: (to_registers (Defs defs)) + | VS_val_spec (TypSchm_ts tq ((Typ_app (Id "reg") _) as t)) id -> (id, Reg id t):: (to_registers (Defs defs)) | _ -> to_registers (Defs defs) end - | DEF_reg_dec typ id -> (id, Reg typ) :: (to_registers (Defs defs)) + | DEF_reg_dec typ id -> (id, Reg id typ) :: (to_registers (Defs defs)) | DEF_type tdef -> match tdef with | TD_register id n1 n2 ranges -> - (id,Reg (Typ_app (Id "vector")[])):: - ((to_reg_ranges id (Reg (Typ_app (Id "vector")[])) ranges) @ (to_registers (Defs defs))) + (id,Reg id (Typ_app (Id "vector")[])):: + ((to_reg_ranges id (Reg id (Typ_app (Id "vector")[])) ranges) @ (to_registers (Defs defs))) | _ -> to_registers (Defs defs) end | _ -> to_registers (Defs defs) |