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
|
;; Wasm_of_ocaml runtime support
;; http://www.ocsigen.org/js_of_ocaml/
;;
;; This program is free software; you can redistribute it and/or modify
;; it under the terms of the GNU Lesser General Public License as published by
;; the Free Software Foundation, with linking exception;
;; either version 2.1 of the License, or (at your option) any later version.
;;
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU Lesser General Public License for more details.
;;
;; You should have received a copy of the GNU Lesser General Public License
;; along with this program; if not, write to the Free Software
;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
(module
(import "stdlib" "caml_global_data"
(global $caml_global_data (mut (ref $block))))
(import "bindings" "jstag" (tag $javascript_exception (param externref)))
(type $block (array (mut (ref eq))))
(type $bytes (array (mut i8)))
(tag $ocaml_exception (export "ocaml_exception") (param (ref eq)))
(export "javascript_exception" (tag $javascript_exception))
(func $caml_raise_constant (export "caml_raise_constant") (param (ref eq))
(throw $ocaml_exception (local.get 0)))
(func $caml_raise_with_arg (export "caml_raise_with_arg")
(param $tag (ref eq)) (param $arg (ref eq))
(throw $ocaml_exception
(array.new_fixed $block 3
(ref.i31 (i32.const 0)) (local.get $tag) (local.get $arg))))
(global $OUT_OF_MEMORY_EXN i32 (i32.const 0))
(func (export "caml_raise_out_of_memory")
(return_call $caml_raise_constant
(array.get $block (global.get $caml_global_data)
(global.get $OUT_OF_MEMORY_EXN))))
(global $SYS_ERROR_EXN i32 (i32.const 1))
(func (export "caml_raise_sys_error") (param $msg (ref eq))
(return_call $caml_raise_with_arg
(array.get $block (global.get $caml_global_data)
(global.get $SYS_ERROR_EXN))
(local.get $msg)))
(global $FAILURE_EXN i32 (i32.const 2))
(func (export "caml_failwith_tag") (result (ref eq))
(array.get $block (global.get $caml_global_data)
(global.get $FAILURE_EXN)))
(func (export "caml_failwith") (param $arg (ref eq))
(return_call $caml_raise_with_arg
(array.get $block (global.get $caml_global_data)
(global.get $FAILURE_EXN))
(local.get 0)))
(global $INVALID_EXN i32 (i32.const 3))
(func $caml_invalid_argument (export "caml_invalid_argument")
(param $arg (ref eq))
(return_call $caml_raise_with_arg
(array.get $block (global.get $caml_global_data)
(global.get $INVALID_EXN))
(local.get 0)))
(@string $index_out_of_bounds "index out of bounds")
(func (export "caml_bound_error")
(return_call $caml_invalid_argument (global.get $index_out_of_bounds)))
(global $END_OF_FILE_EXN i32 (i32.const 4))
(func (export "caml_raise_end_of_file")
(return_call $caml_raise_constant
(array.get $block (global.get $caml_global_data)
(global.get $END_OF_FILE_EXN))))
(global $ZERO_DIVIDE_EXN i32 (i32.const 5))
(func (export "caml_raise_zero_divide")
(return_call $caml_raise_constant
(array.get $block (global.get $caml_global_data)
(global.get $ZERO_DIVIDE_EXN))))
(global $NOT_FOUND_EXN i32 (i32.const 6))
(func (export "caml_raise_not_found")
(return_call $caml_raise_constant
(array.get $block (global.get $caml_global_data)
(global.get $NOT_FOUND_EXN))))
(global $MATCH_FAILURE_EXN i32 (i32.const 7))
(global $ASSERT_FAILURE_EXN i32 (i32.const 10))
(global $UNDEFINED_RECURSIVE_MODULE_EXN i32 (i32.const 11))
(func (export "caml_is_special_exception") (param (ref eq)) (result i32)
(i32.or
(ref.eq (local.get 0)
(array.get $block (global.get $caml_global_data)
(global.get $MATCH_FAILURE_EXN)))
(i32.or
(ref.eq (local.get 0)
(array.get $block (global.get $caml_global_data)
(global.get $ASSERT_FAILURE_EXN)))
(ref.eq (local.get 0)
(array.get $block (global.get $caml_global_data)
(global.get $UNDEFINED_RECURSIVE_MODULE_EXN))))))
)
|
