updated golden files

plow-technologies · May 17, 2024 · 2e60d3c · 2e60d3c
1 parent 89470e8
commit 2e60d3c
Show file tree

Hide file tree

Showing 3 changed files with 47 additions and 1 deletion.
diff --git a/inferno-core/golden/RestOfRecord/RowAbsent.json b/inferno-core/golden/RestOfRecord/RowAbsent.json
@@ -0,0 +1,20 @@
+{
+    "samples": [
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        },
+        {
+            "tag": "RowAbsent"
+        }
+    ],
+    "seed": 1941087234
+}
diff --git a/inferno-core/golden/RestOfRecord/RowVar.json 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
+}
diff --git 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