| open Types |
| open Value |
| |
| type global = {ty : globaltype; mutable content : value} |
| type t = global |
| |
| exception Type |
| exception NotMutable |
| |
| let alloc (GlobalT (_mut, t) as ty) v = |
| assert Free.((valtype t).types = Set.empty); |
| if not (Match.match_valtype [] (type_of_value v) t) then raise Type; |
| {ty; content = v} |
| |
| let type_of glob = |
| glob.ty |
| |
| let load glob = |
| glob.content |
| |
| let store glob v = |
| let GlobalT (mut, t) = glob.ty in |
| if mut <> Var then raise NotMutable; |
| if not (Match.match_valtype [] (type_of_value v) t) then raise Type; |
| glob.content <- v |
