diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/semant.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 30e8b751..ea82e685 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -2147,8 +2147,8 @@ let ty_str (ty:Ast.ty) : string = ty_fold_native = (fun _ -> "N"); ty_fold_param = (fun _ -> "P"); ty_fold_type = (fun _ -> "Y"); - ty_fold_mutable = (fun t -> "m" ^ t); - ty_fold_box = (fun t -> "e" ^ t); + ty_fold_mutable = (fun t -> "M" ^ t); + ty_fold_box = (fun t -> "B" ^ t); (* FIXME (issue #78): encode obj types. *) (* FIXME (issue #78): encode opaque and param numbers. *) |