Changeset 3002
- Timestamp:
- Mar 28, 2013, 1:05:20 PM (5 years ago)
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/printer.ml
r3000 r3002 254 254 | Extracted.Compiler.Rtl_separate_pass -> 255 255 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)258 256 | Extracted.Compiler.Rtl_uniq_pass -> 259 257 beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params) -
extracted/untrusted/glue.ml
r2773 r3002 17 17 | Positive.P1 v -> int_of_matitapos v * 2 + 1 18 18 19 let 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 19 25 let option_of_matitaoption = 20 26 function … … 31 37 Nat.O -> 0 32 38 | Nat.S n -> int_of_matitanat n + 1 39 40 let 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 2 2 3 3 val int_of_matitapos : Positive.pos -> int 4 5 val int_of_matitaZ : Z.z -> int 4 6 5 7 val option_of_matitaoption: 'a Types.option -> 'a option … … 8 10 9 11 val int_of_matitanat : Nat.nat -> int 12 13 val int_pair_of_pointer : Pointers.pointer -> int * int
Note: See TracChangeset
for help on using the changeset viewer.