Fix output-slot handling for real. It's been broken for a long time.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index d33eb6d9..ddf14838 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -1792,16 +1792,16 @@ let word_slot (abi:Abi.abi) : Ast.slot =
   interior_slot (Ast.TY_mach abi.Abi.abi_word_ty)
 ;;
 
-let read_alias_slot (ty:Ast.ty) : Ast.slot =
+let alias_slot (ty:Ast.ty) : Ast.slot =
   { Ast.slot_mode = Ast.MODE_alias;
     Ast.slot_mutable = false;
     Ast.slot_ty = Some ty }
 ;;
 
-let word_write_alias_slot (abi:Abi.abi) : Ast.slot =
+let mutable_alias_slot (ty:Ast.ty) : Ast.slot =
   { Ast.slot_mode = Ast.MODE_alias;
     Ast.slot_mutable = true;
-    Ast.slot_ty = Some (Ast.TY_mach abi.Abi.abi_word_ty) }
+    Ast.slot_ty = Some ty }
 ;;
 
 let mk_ty_fn_or_iter