WIP

client/Infer.ml

@@ -431,9 +431,10 @@ let hastype (typedecl_env : ML.datatype_env) (t : ML.term) (w : variable) : F.no
 
     | ML.Annot (loc, t, ty) ->
       let@ v = convert typedecl_env tyvar_env ty in
-      let+ () = v -- w
+      let@ v' = convert typedecl_env tyvar_env ty in
+      let+ () = v' -- w
       and+ t' = hastype tyvar_env t v
-      and+ ty' = decode v
+      and+ ty' = decode v'
       in F.Annot (loc, t', ty')
 
     | ML.For (loc, tyvars, t) ->