Changeset 2743 for extracted/iO.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iO.ml

    r2730 r2743  
    152152    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    153153    'a1 **)
    154 let rec io_out_rect_Type4 h_mk_io_out x_8756 =
    155   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    156     io_in_typ0 } = x_8756
     154let rec io_out_rect_Type4 h_mk_io_out x_5847 =
     155  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     156    io_in_typ0 } = x_5847
    157157  in
    158158  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    161161    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    162162    'a1 **)
    163 let rec io_out_rect_Type5 h_mk_io_out x_8758 =
    164   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    165     io_in_typ0 } = x_8758
     163let rec io_out_rect_Type5 h_mk_io_out x_5849 =
     164  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     165    io_in_typ0 } = x_5849
    166166  in
    167167  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    170170    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    171171    'a1 **)
    172 let rec io_out_rect_Type3 h_mk_io_out x_8760 =
    173   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    174     io_in_typ0 } = x_8760
     172let rec io_out_rect_Type3 h_mk_io_out x_5851 =
     173  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     174    io_in_typ0 } = x_5851
    175175  in
    176176  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    179179    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    180180    'a1 **)
    181 let rec io_out_rect_Type2 h_mk_io_out x_8762 =
    182   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    183     io_in_typ0 } = x_8762
     181let rec io_out_rect_Type2 h_mk_io_out x_5853 =
     182  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     183    io_in_typ0 } = x_5853
    184184  in
    185185  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    188188    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    189189    'a1 **)
    190 let rec io_out_rect_Type1 h_mk_io_out x_8764 =
    191   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    192     io_in_typ0 } = x_8764
     190let rec io_out_rect_Type1 h_mk_io_out x_5855 =
     191  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     192    io_in_typ0 } = x_5855
    193193  in
    194194  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    197197    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    198198    'a1 **)
    199 let rec io_out_rect_Type0 h_mk_io_out x_8766 =
    200   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    201     io_in_typ0 } = x_8766
     199let rec io_out_rect_Type0 h_mk_io_out x_5857 =
     200  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     201    io_in_typ0 } = x_5857
    202202  in
    203203  h_mk_io_out io_function0 io_args0 io_in_typ0
Note: See TracChangeset for help on using the changeset viewer.