Changeset 3002


Ignore:
Timestamp:
Mar 28, 2013, 1:05:20 PM (4 years ago)
Author:
tranquil
Message:

fixed previous commit

Files:
3 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r3000 r3002  
    254254   | Extracted.Compiler.Rtl_separate_pass ->
    255255      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    256    | Extracted.Compiler.Rtl_separate_pass ->
    257       beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    258256   | Extracted.Compiler.Rtl_uniq_pass ->
    259257      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
  • extracted/untrusted/glue.ml

    r2773 r3002  
    1717 | Positive.P1 v -> int_of_matitapos v * 2 + 1
    1818
     19let int_of_matitaZ =
     20 function
     21   Z.OZ -> 0
     22 | Z.Pos p -> int_of_matitapos p
     23 | Z.Neg p -> -(int_of_matitapos p)
     24
    1925let option_of_matitaoption =
    2026 function
     
    3137    Nat.O -> 0
    3238  | Nat.S n -> int_of_matitanat n + 1
     39
     40let int_pair_of_pointer { Pointers.pblock = bl ; Pointers.poff = off } =
     41  (int_of_matitaZ bl, int_of_bitvector off)
  • extracted/untrusted/glue.mli

    r2746 r3002  
    22
    33val int_of_matitapos : Positive.pos -> int
     4
     5val int_of_matitaZ : Z.z -> int
    46
    57val option_of_matitaoption: 'a Types.option -> 'a option
     
    810
    911val int_of_matitanat : Nat.nat -> int
     12
     13val int_pair_of_pointer : Pointers.pointer -> int * int
Note: See TracChangeset for help on using the changeset viewer.