Skip to content

Commit a7c36b5

Browse files
committed
Runtime: compare_val now raises an exception when comparing abstract values
Fixes #65.
1 parent 7b68492 commit a7c36b5

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

runtime/stdlib.js

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -183,6 +183,7 @@ function caml_make_vect (len, init) {
183183

184184
//Provides: caml_compare_val
185185
//Requires: MlString, caml_int64_compare, caml_int_compare
186+
//Requires: caml_invalid_argument
186187
function caml_compare_val (a, b, total) {
187188
var stack = [];
188189
for(;;) {
@@ -218,6 +219,9 @@ function caml_compare_val (a, b, total) {
218219
if (x != 0) return x;
219220
break;
220221
}
222+
case 251: {
223+
caml_invalid_argument("equal: abstract value");
224+
}
221225
case 255: {
222226
// Int64
223227
var x = caml_int64_compare(a, b);

0 commit comments

Comments
 (0)