Update .stdout.mingw32 and .stdout.darwin files

GaloisInc · Feb 2, 2024 · a9e35fe · a9e35fe
1 parent f825abd
commit a9e35fe
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 3 deletions.
diff --git a/tests/ffi/ffi-runtime-errors.icry.stdout.darwin b/tests/ffi/ffi-runtime-errors.icry.stdout.darwin
@@ -4,7 +4,7 @@ Loading module Main
 Loading dynamic library ffi-runtime-errors.dylib
 
 numeric type argument to foreign function is too large: 18446744073709551616
-in type parameter n`899 of function Main::f
+in type parameter n`902 of function Main::f
 type arguments must fit in a C `size_t`
 -- Backtrace --
 Main::f called at ffi-runtime-errors.icry:4:1--4:2

diff --git a/tests/ffi/ffi-runtime-errors.icry.stdout.mingw32 b/tests/ffi/ffi-runtime-errors.icry.stdout.mingw32
@@ -4,7 +4,7 @@ Loading module Main
 Loading dynamic library ffi-runtime-errors.dll
 
 numeric type argument to foreign function is too large: 18446744073709551616
-in type parameter n`899 of function Main::f
+in type parameter n`902 of function Main::f
 type arguments must fit in a C `size_t`
 -- Backtrace --
 Main::f called at ffi-runtime-errors.icry:4:1--4:2

diff --git a/tests/issues/issue1455_3.icry.stdout.mingw32 b/tests/issues/issue1455_3.icry.stdout.mingw32
@@ -95,6 +95,15 @@ Primitive Types
     Z : # -> *
     Zero : * -> Prop
 
+Nominal Types
+=============
+
+  From Cryptol
+  ------------
+
+    enum Option a
+    enum Result t e
+
 Symbols
 =======
 

diff --git a/tests/modsys/T16.icry.stdout.mingw32 b/tests/modsys/T16.icry.stdout.mingw32
@@ -5,5 +5,5 @@ Loading module T16::B
 
 [error] at T16\B.cry:5:5--5:11
     Multiple definitions for symbol: update
-    (at Cryptol:909:11--909:17, update)
+    (at Cryptol:928:11--928:17, update)
     (at .\T16\A.cry:3:1--3:7, T16::A::update)