1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
include Prelude.Result
type err =
[ `Alignment_too_large
| `Assert_failure
| `Bad_result
| `Call_stack_exhausted
| `Constant_expression_required
| `Constant_out_of_range
| `Did_not_fail_but_expected of string
| `Duplicate_export_name
| `Duplicate_global of string
| `Duplicate_local of string
| `Duplicate_memory of string
| `Duplicate_table of string
| `Failed_with_but_expected of err * string
| `Found_bug of int
| `Global_is_immutable
| `Illegal_escape of string
| `Import_after_function
| `Import_after_global
| `Import_after_memory
| `Import_after_table
| `Incompatible_import_type
| `Inline_function_type
| `Invalid_result_arity
| `Lexer_illegal_character of string
| `Lexer_unknown_operator of string
| `Malformed_utf8_encoding of string
| `Memory_size_too_large
| `Msg of string
| `Multiple_memories
| `Multiple_start_sections
| `No_error
| `Parse_fail of string
| `Size_minimum_greater_than_maximum
| `Start_function
| `Timeout
| `Trap of Trap.t
| `Type_mismatch of string
| `Unbound_last_module
| `Unbound_module of string
| `Unbound_name of string
| `Undeclared_function_reference
| `Unexpected_token of string
| `Unknown_data of Types.text Types.indice
| `Unknown_elem of Types.text Types.indice
| `Unknown_func of Types.text Types.indice
| `Unknown_global of Types.text Types.indice
| `Unknown_import of string * string
| `Unknown_label of Types.text Types.indice
| `Unknown_local of Types.text Types.indice
| `Unknown_memory of Types.text Types.indice
| `Unknown_module of string
| `Unknown_operator
| `Unknown_table of Types.text Types.indice
| `Unknown_type of Types.text Types.indice
| `Unsupported_file_extension of string
| `Spec_invalid_int32 of string
| `Spec_invalid_int64 of string
| `Spec_invalid_float32 of string
| `Spec_invalid_float64 of string
| `Spec_invalid_indice of string
| `Spec_invalid_text_indice of string
| `Unknown_annotation_clause of Sexp.t
| `Unknown_annotation_object of Sexp.t
| `Spec_unknown_binder of Types.text Types.indice
| `Spec_unknown_param of Types.text Types.indice
| `Spec_unknown_variable of Types.text Types.indice
| `Spec_unknown_binder_type of Sexp.t
| `Spec_unknown_prop of Sexp.t
| `Spec_unknown_term of Sexp.t
| `Spec_type_error of string
| `Contract_unknown_func of Types.text Types.indice
| `Empty_annotation_id
| `Empty_identifier
| `Unclosed_annotation
| `Unclosed_comment
| `Unclosed_string
| `Unbounded_quantification
| `Invalid_model of string
]
type 'a t = ('a, err) Prelude.Result.t
let rec err_to_string = function
| `Alignment_too_large -> "alignment must not be larger than natural"
| `Assert_failure -> "script assert failure"
| `Bad_result -> "bad result"
| `Call_stack_exhausted -> "call stack exhausted"
| `Constant_expression_required -> "constant expression required"
| `Constant_out_of_range -> "constant out of range"
| `Did_not_fail_but_expected expected ->
Fmt.str "expected %s but there was no error" expected
| `Duplicate_export_name -> "duplicate export name"
| `Duplicate_global id -> Fmt.str "duplicate global %s" id
| `Duplicate_local id -> Fmt.str "duplicate local %s" id
| `Duplicate_memory id -> Fmt.str "duplicate memory %s" id
| `Duplicate_table id -> Fmt.str "duplicate table %s" id
| `Failed_with_but_expected (got, expected) ->
Fmt.str "expected %s but got (%s)" expected (err_to_string got)
| `Found_bug n ->
if n > 1 then Fmt.str "Reached %d problems!" n
else Fmt.str "Reached problem!"
| `Global_is_immutable -> "global is immutable"
| `Illegal_escape txt -> Fmt.str "illegal escape %S" txt
| `Import_after_function -> "import after function"
| `Import_after_global -> "import after global"
| `Import_after_memory -> "import after memory"
| `Import_after_table -> "import after table"
| `Incompatible_import_type -> "incompatible import type"
| `Inline_function_type -> "inline function type"
| `Invalid_result_arity -> "invalid result arity"
| `Lexer_illegal_character c -> Fmt.str "%s" c
| `Lexer_unknown_operator op -> Fmt.str "%s" op
| `Malformed_utf8_encoding txt -> Fmt.str "malformed UTF-8 encoding %S" txt
| `Memory_size_too_large -> "memory size must be at most 65536 pages (4GiB)"
| `Msg msg -> msg
| `Multiple_memories -> "multiple memories"
| `Multiple_start_sections -> "multiple start sections"
| `No_error -> "no error"
| `Parse_fail msg -> msg
| `Size_minimum_greater_than_maximum ->
"size minimum must not be greater than maximum"
| `Start_function -> "start function must have type [] -> []"
| `Timeout -> "timeout"
| `Trap t -> Fmt.str "trap: %s" (Trap.to_string t)
| `Type_mismatch msg -> Fmt.str "type mismatch (%s)" msg
| `Unbound_last_module -> "unbound last module"
| `Unbound_module id -> Fmt.str "unbound module %s" id
| `Unbound_name id -> Fmt.str "unbound name %s" id
| `Undeclared_function_reference -> "undeclared function reference"
| `Unexpected_token s -> Fmt.str "unexpected token %S" s
| `Unknown_data id -> Fmt.str "unknown data segment %a" Types.pp_indice id
| `Unknown_elem id -> Fmt.str "unknown elem segment %a" Types.pp_indice id
| `Unknown_func id -> Fmt.str "unknown function %a" Types.pp_indice id
| `Unknown_global id -> Fmt.str "unknown global %a" Types.pp_indice id
| `Unknown_import (modul, value) -> Fmt.str "unknown import %S %S" modul value
| `Unknown_label id -> Fmt.str "unknown label %a" Types.pp_indice id
| `Unknown_local id -> Fmt.str "unknown local %a" Types.pp_indice id
| `Unknown_memory id -> Fmt.str "unknown memory %a" Types.pp_indice id
| `Unknown_module name -> Fmt.str "unknown module %s" name
| `Unknown_operator -> Fmt.str "unknown operator"
| `Unknown_table id -> Fmt.str "unknown table %a" Types.pp_indice id
| `Unknown_type id -> Fmt.str "unknown type %a" Types.pp_indice id
| `Unsupported_file_extension ext ->
Fmt.str "unsupported file_extension %S" ext
| `Spec_invalid_int32 i32 -> Fmt.str "spec: invalid int32 %S" i32
| `Spec_invalid_int64 i64 -> Fmt.str "spec: invalid int64 %S" i64
| `Spec_invalid_float32 f32 -> Fmt.str "spec: invalid float32 %S" f32
| `Spec_invalid_float64 f64 -> Fmt.str "spec: invalid float64 %S" f64
| `Spec_invalid_indice id -> Fmt.str "spec: invalid indice %S" id
| `Spec_invalid_text_indice id -> Fmt.str "spec: invalid text indice %S" id
| `Unknown_annotation_clause s ->
Fmt.str "unknown annotation clause %a" Sexp.pp_sexp s
| `Unknown_annotation_object s ->
Fmt.str "unknown annotation object %a" Sexp.pp_sexp s
| `Spec_unknown_binder id ->
Fmt.str "spec: unknown binder %a" Types.pp_indice id
| `Spec_unknown_param id ->
Fmt.str "spec: unknown param %a" Types.pp_indice id
| `Spec_unknown_variable id ->
Fmt.str "spec: unknown variable %a" Types.pp_indice id
| `Spec_unknown_binder_type s ->
Fmt.str "spec: unknown binder type %a" Sexp.pp_sexp s
| `Spec_unknown_prop pr -> Fmt.str "spec: unknown prop %a" Sexp.pp_sexp pr
| `Spec_unknown_term tm -> Fmt.str "spec: unknown term %a" Sexp.pp_sexp tm
| `Spec_type_error str -> Fmt.str "spec: %S type error" str
| `Contract_unknown_func id ->
Fmt.str "contract: unknown function %a" Types.pp_indice id
| `Empty_annotation_id -> Fmt.str "empty annotation id"
| `Empty_identifier -> Fmt.str "empty identifier"
| `Unclosed_annotation -> Fmt.str "unclosed annotation"
| `Unclosed_comment -> Fmt.str "unclosed comment"
| `Unclosed_string -> Fmt.str "unclosed string"
| `Unbounded_quantification -> Fmt.str "unbounded quantification"
| `Invalid_model msg -> Fmt.str "invalid model: %s" msg