Changeset 2775 for extracted/iO.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iO.ml

    r2773 r2775  
    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_1355 =
    153   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    154     io_in_typ0 } = x_1355
     152let rec io_out_rect_Type4 h_mk_io_out x_5756 =
     153  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     154    io_in_typ0 } = x_5756
    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_1357 =
    162   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    163     io_in_typ0 } = x_1357
     161let rec io_out_rect_Type5 h_mk_io_out x_5758 =
     162  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     163    io_in_typ0 } = x_5758
    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_1359 =
    171   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    172     io_in_typ0 } = x_1359
     170let rec io_out_rect_Type3 h_mk_io_out x_5760 =
     171  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     172    io_in_typ0 } = x_5760
    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_1361 =
    180   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    181     io_in_typ0 } = x_1361
     179let rec io_out_rect_Type2 h_mk_io_out x_5762 =
     180  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     181    io_in_typ0 } = x_5762
    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_1363 =
    189   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    190     io_in_typ0 } = x_1363
     188let rec io_out_rect_Type1 h_mk_io_out x_5764 =
     189  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     190    io_in_typ0 } = x_5764
    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_1365 =
    198   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    199     io_in_typ0 } = x_1365
     197let rec io_out_rect_Type0 h_mk_io_out x_5766 =
     198  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     199    io_in_typ0 } = x_5766
    200200  in
    201201  h_mk_io_out io_function0 io_args0 io_in_typ0
Note: See TracChangeset for help on using the changeset viewer.