From 8e88da289d5c96506a9540890ccbd7c22570049c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 20 Jul 2018 12:03:27 +0200
Subject: Fix #8043: Unsafe assignment in checker.

We use a dedicated mutable constructor to perform a Landin knot.
---
 checker/validate.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker/validate.ml')

diff --git a/checker/validate.ml b/checker/validate.ml
index f831875dd4..c214409a2c 100644
--- a/checker/validate.ml
+++ b/checker/validate.ml
@@ -85,6 +85,7 @@ let rec val_gen v ctx o = match v with
   | Fail s -> fail ctx o ("unexpected object " ^ s)
   | Annot (s,v) -> val_gen v (ctx/CtxAnnot s) o
   | Dyn -> val_dyn ctx o
+  | Proxy { contents = v } -> val_gen v ctx o
 
 (* Check that an object is a tuple (or a record). vs is an array of
    value representation for each field. Its size corresponds to the
-- 
cgit v1.2.3