Changeset 3043 for extracted/iO.ml


Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iO.ml

    r2997 r3043  
    150150    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    151151    'a1 **)
    152 let rec io_out_rect_Type4 h_mk_io_out x_4871 =
    153   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    154     io_in_typ0 } = x_4871
     152let rec io_out_rect_Type4 h_mk_io_out x_5899 =
     153  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     154    io_in_typ0 } = x_5899
    155155  in
    156156  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    159159    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    160160    'a1 **)
    161 let rec io_out_rect_Type5 h_mk_io_out x_4873 =
    162   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    163     io_in_typ0 } = x_4873
     161let rec io_out_rect_Type5 h_mk_io_out x_5901 =
     162  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     163    io_in_typ0 } = x_5901
    164164  in
    165165  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    168168    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    169169    'a1 **)
    170 let rec io_out_rect_Type3 h_mk_io_out x_4875 =
    171   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    172     io_in_typ0 } = x_4875
     170let rec io_out_rect_Type3 h_mk_io_out x_5903 =
     171  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     172    io_in_typ0 } = x_5903
    173173  in
    174174  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    177177    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    178178    'a1 **)
    179 let rec io_out_rect_Type2 h_mk_io_out x_4877 =
    180   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    181     io_in_typ0 } = x_4877
     179let rec io_out_rect_Type2 h_mk_io_out x_5905 =
     180  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     181    io_in_typ0 } = x_5905
    182182  in
    183183  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    186186    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    187187    'a1 **)
    188 let rec io_out_rect_Type1 h_mk_io_out x_4879 =
    189   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    190     io_in_typ0 } = x_4879
     188let rec io_out_rect_Type1 h_mk_io_out x_5907 =
     189  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     190    io_in_typ0 } = x_5907
    191191  in
    192192  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    195195    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    196196    'a1 **)
    197 let rec io_out_rect_Type0 h_mk_io_out x_4881 =
    198   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    199     io_in_typ0 } = x_4881
     197let rec io_out_rect_Type0 h_mk_io_out x_5909 =
     198  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     199    io_in_typ0 } = x_5909
    200200  in
    201201  h_mk_io_out io_function0 io_args0 io_in_typ0
Note: See TracChangeset for help on using the changeset viewer.