Skip to content

Commit fdd09f9

Browse files
committed
[interpreter] Correctly filter noexn as non-JS type
1 parent 10aef0c commit fdd09f9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

interpreter/script/js.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -629,7 +629,7 @@ let is_js_vectype = function
629629
| _ -> false
630630

631631
let is_js_reftype = function
632-
| (_, ExnHT) -> false
632+
| (_, (ExnHT | NoExnHT)) -> false
633633
| _ -> true
634634

635635
let is_js_valtype = function

0 commit comments

Comments
 (0)