From 540e8a24b7841c6f6abd472d62ac3cd4e8d7b986 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 6 Apr 2017 16:10:19 +0200
Subject: [PATCH] Added an extra test.

---
 test/invariant-phantom/simple.rkt | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/test/invariant-phantom/simple.rkt b/test/invariant-phantom/simple.rkt
index 546b4cf..b023754 100644
--- a/test/invariant-phantom/simple.rkt
+++ b/test/invariant-phantom/simple.rkt
@@ -51,6 +51,25 @@
        (U (List (Pairof 'd AnyType) (Pairof 'e AnyType))
           (Pairof (Pairof 'b AnyType) (Pairof (Pairof 'c AnyType) R))))))))
 
+(check-same-type
+ (Π (dot :a) ((λdot b c) ((λdot w)) * (λdot x y))* (λdot d e))
+ (Rec
+  R
+  (U (Pairof Any R)
+     (Pairof
+      (Pairof AnyField a)
+      (U (List (Pairof 'd AnyType) (Pairof 'e AnyType))
+         (Pairof
+          (Pairof 'b AnyType)
+          (Pairof
+           (Pairof 'c AnyType)
+           (Rec
+            R
+            (U (Pairof (Pairof 'w AnyType) R)
+               (Pairof
+                (Pairof 'x AnyType)
+                (Pairof (Pairof 'y AnyType) R)))))))))))
+
 #|
 
 (check-ann witness-value (Invariants)) ;; No invariants