From 9a1eccc9cecfcbff76b49a962e9065e4360ed770 Mon Sep 17 00:00:00 2001
From: Alberto Valverde <alberto@toscat.net>
Date: Fri, 17 May 2024 13:00:34 +0200
Subject: [PATCH] updated golden files (#120)

---
 .../golden/RestOfRecord/RowAbsent.json        | 20 +++++++++++++++
 inferno-core/golden/RestOfRecord/RowVar.json  | 25 +++++++++++++++++++
 inferno-core/test/Golden/Spec.hs              |  3 ++-
 3 files changed, 47 insertions(+), 1 deletion(-)
 create mode 100644 inferno-core/golden/RestOfRecord/RowAbsent.json
 create mode 100644 inferno-core/golden/RestOfRecord/RowVar.json

diff --git a/inferno-core/golden/RestOfRecord/RowAbsent.json b/inferno-core/golden/RestOfRecord/RowAbsent.json
new file mode 100644
index 00000000..bb0bb21f
--- /dev/null
+++ b/inferno-core/golden/RestOfRecord/RowAbsent.json
@@ -0,0 +1,20 @@
+{
+    "samples": [
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        }
+    ],
+    "seed": 1941087234
+}
\ No newline at end of file
diff --git a/inferno-core/golden/RestOfRecord/RowVar.json b/inferno-core/golden/RestOfRecord/RowVar.json
new file mode 100644
index 00000000..26f64fe0
--- /dev/null
+++ b/inferno-core/golden/RestOfRecord/RowVar.json
@@ -0,0 +1,25 @@
+{
+    "samples": [
+        {
+            "contents": 28,
+            "tag": "RowVar"
+        },
+        {
+            "contents": 3,
+            "tag": "RowVar"
+        },
+        {
+            "contents": 2,
+            "tag": "RowVar"
+        },
+        {
+            "contents": -26,
+            "tag": "RowVar"
+        },
+        {
+            "contents": -12,
+            "tag": "RowVar"
+        }
+    ],
+    "seed": -1342020460
+}
\ No newline at end of file
diff --git a/inferno-core/test/Golden/Spec.hs b/inferno-core/test/Golden/Spec.hs
index 0f499ffc..5f30c00b 100644
--- a/inferno-core/test/Golden/Spec.hs
+++ b/inferno-core/test/Golden/Spec.hs
@@ -5,7 +5,7 @@ module Golden.Spec (goldenTests) where
 import Data.Proxy (Proxy (Proxy))
 import Inferno.Instances.Arbitrary ()
 import Inferno.Types.Syntax (BaseType, Ident, InfernoType, ModuleName, TV)
-import Inferno.Types.Type (Namespace)
+import Inferno.Types.Type (Namespace, RestOfRecord)
 import Inferno.VersionControl.Types
   ( VCIncompatReason,
     VCObject,
@@ -44,6 +44,7 @@ goldenAesonTests = do
   Aeson.roundtripAndGoldenADTSpecs $ Proxy @BaseType
   Aeson.roundtripAndGoldenADTSpecs $ Proxy @TV
   Aeson.roundtripAndGoldenADTSpecs $ Proxy @InfernoType
+  Aeson.roundtripAndGoldenADTSpecs $ Proxy @RestOfRecord
 
 goldenCerealTests :: Spec
 goldenCerealTests = do