From a9e35fe0049b042942b089078e0aa32040c413b7 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 20:39:51 -0500 Subject: [PATCH] Update .stdout.mingw32 and .stdout.darwin files --- tests/ffi/ffi-runtime-errors.icry.stdout.darwin | 2 +- tests/ffi/ffi-runtime-errors.icry.stdout.mingw32 | 2 +- tests/issues/issue1455_3.icry.stdout.mingw32 | 9 +++++++++ tests/modsys/T16.icry.stdout.mingw32 | 2 +- 4 files changed, 12 insertions(+), 3 deletions(-) diff --git a/tests/ffi/ffi-runtime-errors.icry.stdout.darwin b/tests/ffi/ffi-runtime-errors.icry.stdout.darwin index 0c16f798..1b089a5b 100644 --- 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 index fce3d437..674f6f22 100644 --- 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 index 82bc68f2..adc5b1c5 100644 --- 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 index 541af7a5..651917a4 100644 --- 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)