---

yaml
---
r: 888
b: refs/heads/master
c: de16674
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 79015e2d599287d448662e3436f77026c4ffb232
+refs/heads/master: de166745b8035395485bc5bc598f9c507ae80376

trunk/src/boot/me/semant.ml

@@ -999,9 +999,14 @@ let rec pretty_ty_str (cx:ctxt) (fallback:(Ast.ty -> string)) (ty:Ast.ty) =
           "rec(" ^ (String.concat ", " fields) ^ ")"
       | Ast.TY_fn (fnsig, aux) ->
           let format_slot slot =
+            let prefix =
+              match slot.Ast.slot_mode with
+                  Ast.MODE_local -> ""
+                | Ast.MODE_alias -> "&"
+            in
             match slot.Ast.slot_ty with
                 None -> Common.bug () "no ty in slot"
-              | Some ty' -> pretty_ty_str cx fallback ty'
+              | Some ty' -> prefix ^ (pretty_ty_str cx fallback ty')
           in
           let effect = aux.Ast.fn_effect in
           let qual = Fmt.sprintf_fmt Ast.fmt_effect_qual () effect in