Changeset 2649 for extracted/iO.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iO.ml

    r2601 r2649  
    33open Proper
    44
     5open ErrorMessages
     6
    57open Option
    68
     
    1113open Positive
    1214
    13 open Char
    14 
    15 open String
    16 
    1715open PreIdentifiers
    1816
     
    5856
    5957open Identifiers
    60 
    61 open Floats
    6258
    6359open Integers
     
    10096| AST.ASTint (sz, x) -> (fun v -> Values.Vint (sz, (Obj.magic v)))
    10197| AST.ASTptr -> Obj.magic (fun _ -> assert false (* absurd case *))
    102 
    103 (** val illTypedEvent : String.string **)
    104 let illTypedEvent = "ill typed event"
    105   (*failwith "AXIOM TO BE REALIZED"*)
    10698
    10799(** val convert_eventval :
     
    112104  (match AST.eq_intsize sz sz' with
    113105   | Bool.True -> Errors.OK (Values.Vint (sz', i))
    114    | Bool.False -> Errors.Error (Errors.msg illTypedEvent))
    115 | AST.ASTptr -> Errors.Error (Errors.msg illTypedEvent)
     106   | Bool.False -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent))
     107| AST.ASTptr -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent)
    116108
    117109(** val check_eventval' :
     
    120112| AST.ASTint (sz, x) ->
    121113  (match v with
    122    | Values.Vundef -> Errors.Error (Errors.msg illTypedEvent)
     114   | Values.Vundef -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent)
    123115   | Values.Vint (sz', i) ->
    124116     (match AST.eq_intsize sz sz' with
    125117      | Bool.True -> Errors.OK (Events.EVint (sz', i))
    126       | Bool.False -> Errors.Error (Errors.msg illTypedEvent))
    127    | Values.Vnull -> Errors.Error (Errors.msg illTypedEvent)
    128    | Values.Vptr x0 -> Errors.Error (Errors.msg illTypedEvent))
    129 | AST.ASTptr -> Errors.Error (Errors.msg illTypedEvent)
     118      | Bool.False -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent))
     119   | Values.Vnull -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent)
     120   | Values.Vptr x0 -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent))
     121| AST.ASTptr -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent)
    130122
    131123(** val check_eventval_list :
     
    137129    (match tys with
    138130     | List.Nil -> Errors.OK List.Nil
    139      | List.Cons (x, x0) -> Errors.Error (Errors.msg illTypedEvent))
     131     | List.Cons (x, x0) ->
     132       Errors.Error (Errors.msg ErrorMessages.IllTypedEvent))
    140133  | List.Cons (v, vt) ->
    141134    (match tys with
    142      | List.Nil -> Errors.Error (Errors.msg illTypedEvent)
     135     | List.Nil -> Errors.Error (Errors.msg ErrorMessages.IllTypedEvent)
    143136     | List.Cons (ty, tyt) ->
    144137       Obj.magic
     
    155148    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    156149    'a1 **)
    157 let rec io_out_rect_Type4 h_mk_io_out x_4820 =
    158   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    159     io_in_typ0 } = x_4820
     150let rec io_out_rect_Type4 h_mk_io_out x_3363 =
     151  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     152    io_in_typ0 } = x_3363
    160153  in
    161154  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    164157    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    165158    'a1 **)
    166 let rec io_out_rect_Type5 h_mk_io_out x_4822 =
    167   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    168     io_in_typ0 } = x_4822
     159let rec io_out_rect_Type5 h_mk_io_out x_3365 =
     160  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     161    io_in_typ0 } = x_3365
    169162  in
    170163  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    173166    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    174167    'a1 **)
    175 let rec io_out_rect_Type3 h_mk_io_out x_4824 =
    176   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    177     io_in_typ0 } = x_4824
     168let rec io_out_rect_Type3 h_mk_io_out x_3367 =
     169  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     170    io_in_typ0 } = x_3367
    178171  in
    179172  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    182175    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    183176    'a1 **)
    184 let rec io_out_rect_Type2 h_mk_io_out x_4826 =
    185   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    186     io_in_typ0 } = x_4826
     177let rec io_out_rect_Type2 h_mk_io_out x_3369 =
     178  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     179    io_in_typ0 } = x_3369
    187180  in
    188181  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    191184    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    192185    'a1 **)
    193 let rec io_out_rect_Type1 h_mk_io_out x_4828 =
    194   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    195     io_in_typ0 } = x_4828
     186let rec io_out_rect_Type1 h_mk_io_out x_3371 =
     187  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     188    io_in_typ0 } = x_3371
    196189  in
    197190  h_mk_io_out io_function0 io_args0 io_in_typ0
     
    200193    (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out ->
    201194    'a1 **)
    202 let rec io_out_rect_Type0 h_mk_io_out x_4830 =
    203   let { io_function = io_function0; io_args = io_args0; io_in_typ =
    204     io_in_typ0 } = x_4830
     195let rec io_out_rect_Type0 h_mk_io_out x_3373 =
     196  let { io_function = io_function0; io_args = io_args0; io_in_typ =
     197    io_in_typ0 } = x_3373
    205198  in
    206199  h_mk_io_out io_function0 io_args0 io_in_typ0
Note: See TracChangeset for help on using the changeset viewer.