diff --git a/hosts/ocaml/lib/sx_ref.ml b/hosts/ocaml/lib/sx_ref.ml index a38d1c51..a889ea0d 100644 --- a/hosts/ocaml/lib/sx_ref.ml +++ b/hosts/ocaml/lib/sx_ref.ml @@ -296,18 +296,20 @@ and render_fn = Nil (* *strict* *) -and _strict_ = !_strict_ref +and _strict_ = + !_strict_ref (* set-strict! *) and set_strict_b val' = - _strict_ref := val'; Nil + let _strict_ = ref Nil in (_strict_ref := val'; Nil) (* *prim-param-types* *) -and _prim_param_types_ = !_prim_param_types_ref +and _prim_param_types_ = + !_prim_param_types_ref (* set-prim-param-types! *) and set_prim_param_types_b types = - _prim_param_types_ref := types; Nil + let _prim_param_types_ = ref Nil in (_prim_param_types_ref := types; Nil) (* value-matches-type? *) and value_matches_type_p val' expected_type =