Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/memoryInjections.ml

    r2601 r2649  
    3737open Identifiers
    3838
    39 open Floats
    40 
    4139open Integers
    4240
     
    6967open Proper
    7068
     69open ErrorMessages
     70
    7171open Option
    7272
     
    7676
    7777open Positive
    78 
    79 open Char
    80 
    81 open String
    8278
    8379open PreIdentifiers
     
    140136    Pointers.block -> Pointers.block -> (__, __) Types.sum **)
    141137let block_decidable_eq clearme =
    142   let { Pointers.block_region = ra; Pointers.block_id = ida } = clearme in
     138  let a = clearme in
    143139  (fun clearme0 ->
    144   let { Pointers.block_region = rb; Pointers.block_id = idb } = clearme0 in
    145   (match ra with
    146    | AST.XData ->
    147      (match rb with
    148       | AST.XData ->
    149         (match Z.decidable_eq_Z_Type ida idb with
    150          | Types.Inl _ -> Types.Inl __
    151          | Types.Inr _ -> Types.Inr __)
    152       | AST.Code -> Types.Inr __)
    153    | AST.Code ->
    154      (match rb with
    155       | AST.XData -> Types.Inr __
    156       | AST.Code ->
    157         (match Z.decidable_eq_Z_Type ida idb with
    158          | Types.Inl _ -> Types.Inl __
    159          | Types.Inr _ -> Types.Inr __))))
     140  let b = clearme0 in
     141  (match Z.decidable_eq_Z_Type a b with
     142   | Types.Inl _ -> Types.Inl __
     143   | Types.Inr _ -> Types.Inr __))
    160144
    161145type embedding =
    162   Z.z -> (Pointers.block, Pointers.offset) Types.prod Types.option
     146  Pointers.block -> (Pointers.block, Pointers.offset) Types.prod Types.option
    163147
    164148(** val offset_plus :
     
    172156let pointer_translation p e1 =
    173157  let { Pointers.pblock = pblock0; Pointers.poff = poff0 } = p in
    174   (match e1 pblock0.Pointers.block_id with
     158  (match e1 pblock0 with
    175159   | Types.None -> Types.None
    176160   | Types.Some loc ->
Note: See TracChangeset for help on using the changeset viewer.