Changeset 2797 for extracted/errors.ml


Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (8 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/errors.ml

    r2775 r2797  
    4343    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    4444let rec errcode_rect_Type4 h_MSG h_CTX = function
    45 | MSG x_2970 -> h_MSG x_2970
    46 | CTX (tag, x_2971) -> h_CTX tag x_2971
     45| MSG x_2983 -> h_MSG x_2983
     46| CTX (tag, x_2984) -> h_CTX tag x_2984
    4747
    4848(** val errcode_rect_Type5 :
     
    5050    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    5151let rec errcode_rect_Type5 h_MSG h_CTX = function
    52 | MSG x_2975 -> h_MSG x_2975
    53 | CTX (tag, x_2976) -> h_CTX tag x_2976
     52| MSG x_2988 -> h_MSG x_2988
     53| CTX (tag, x_2989) -> h_CTX tag x_2989
    5454
    5555(** val errcode_rect_Type3 :
     
    5757    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    5858let rec errcode_rect_Type3 h_MSG h_CTX = function
    59 | MSG x_2980 -> h_MSG x_2980
    60 | CTX (tag, x_2981) -> h_CTX tag x_2981
     59| MSG x_2993 -> h_MSG x_2993
     60| CTX (tag, x_2994) -> h_CTX tag x_2994
    6161
    6262(** val errcode_rect_Type2 :
     
    6464    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    6565let rec errcode_rect_Type2 h_MSG h_CTX = function
    66 | MSG x_2985 -> h_MSG x_2985
    67 | CTX (tag, x_2986) -> h_CTX tag x_2986
     66| MSG x_2998 -> h_MSG x_2998
     67| CTX (tag, x_2999) -> h_CTX tag x_2999
    6868
    6969(** val errcode_rect_Type1 :
     
    7171    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    7272let rec errcode_rect_Type1 h_MSG h_CTX = function
    73 | MSG x_2990 -> h_MSG x_2990
    74 | CTX (tag, x_2991) -> h_CTX tag x_2991
     73| MSG x_3003 -> h_MSG x_3003
     74| CTX (tag, x_3004) -> h_CTX tag x_3004
    7575
    7676(** val errcode_rect_Type0 :
     
    7878    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    7979let rec errcode_rect_Type0 h_MSG h_CTX = function
    80 | MSG x_2995 -> h_MSG x_2995
    81 | CTX (tag, x_2996) -> h_CTX tag x_2996
     80| MSG x_3008 -> h_MSG x_3008
     81| CTX (tag, x_3009) -> h_CTX tag x_3009
    8282
    8383(** val errcode_inv_rect_Type4 :
     
    143143    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    144144let rec res_rect_Type4 h_OK h_Error = function
    145 | OK x_3035 -> h_OK x_3035
    146 | Error x_3036 -> h_Error x_3036
     145| OK x_3048 -> h_OK x_3048
     146| Error x_3049 -> h_Error x_3049
    147147
    148148(** val res_rect_Type5 :
    149149    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    150150let rec res_rect_Type5 h_OK h_Error = function
    151 | OK x_3040 -> h_OK x_3040
    152 | Error x_3041 -> h_Error x_3041
     151| OK x_3053 -> h_OK x_3053
     152| Error x_3054 -> h_Error x_3054
    153153
    154154(** val res_rect_Type3 :
    155155    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    156156let rec res_rect_Type3 h_OK h_Error = function
    157 | OK x_3045 -> h_OK x_3045
    158 | Error x_3046 -> h_Error x_3046
     157| OK x_3058 -> h_OK x_3058
     158| Error x_3059 -> h_Error x_3059
    159159
    160160(** val res_rect_Type2 :
    161161    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    162162let rec res_rect_Type2 h_OK h_Error = function
    163 | OK x_3050 -> h_OK x_3050
    164 | Error x_3051 -> h_Error x_3051
     163| OK x_3063 -> h_OK x_3063
     164| Error x_3064 -> h_Error x_3064
    165165
    166166(** val res_rect_Type1 :
    167167    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    168168let rec res_rect_Type1 h_OK h_Error = function
    169 | OK x_3055 -> h_OK x_3055
    170 | Error x_3056 -> h_Error x_3056
     169| OK x_3068 -> h_OK x_3068
     170| Error x_3069 -> h_Error x_3069
    171171
    172172(** val res_rect_Type0 :
    173173    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    174174let rec res_rect_Type0 h_OK h_Error = function
    175 | OK x_3060 -> h_OK x_3060
    176 | Error x_3061 -> h_Error x_3061
     175| OK x_3073 -> h_OK x_3073
     176| Error x_3074 -> h_Error x_3074
    177177
    178178(** val res_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.