From 3152db9d32d09934e284a6d20ff75f3655d78b62 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Thu, 15 Sep 2022 19:35:02 +0200
Subject: [PATCH] Update type-checker tests

---
 src/test/type-inference.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/test/type-inference.md b/src/test/type-inference.md
index 3fc500a9a..48cffd279 100644
--- a/src/test/type-inference.md
+++ b/src/test/type-inference.md
@@ -135,6 +135,7 @@ enum Maybe a.
 let foo_1 : Maybe
 let foo_2 : Maybe Int
 let foo_3 : Maybe Int Int
+let foo_4 : Maybe Int Int Int
 ```
 
 ## Can indirectly apply a polymorphic datatype to some type
@@ -152,3 +153,19 @@ enum Foo.
 
 let f : Foo = MkFoo (MkApp (Just 1))
 ```
+
+## Record-declarations inside enum-declarations work
+
+```
+enum Shape.
+  Circle.
+    radius: Int 
+  Rect.
+    width: Int
+    height: Int
+
+let z = Circle { radius = 12 }
+let a = Rect { width = 12, height = 12 }
+
+a == z
+```