You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
...but This only happens rarely if the right seed is chosen. I haven't looked into it, but it seems like the issue could likely be with the test code itself
$ ODBC_TEST_CONNECTION_STRING='DRIVER={ODBC Driver 17 for SQL Server};SERVER=127.0.0.1;Uid=SA;Pwd=Passw0rd;Encrypt=no' cabal run -w ghc-9.2.7 test -- --seed=1862667972
.....snip.....
Failures:
test/Main.hs:346:15:
1) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=Datetime2, SQL=datetime2
uncaught exception: ODBCException
UnsuccessfulReturnCode "odbc_SQLExecDirectW" (-1) "[Microsoft][ODBC Driver 17 for SQL Server][SQL Server]Conversion failed when converting date and/or time from character string." (Just "22007")
(after 15 tests)
Datetime2 {unDatetime2 = 1796-07-15 23:59:60.9660284}
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=Datetime2, SQL=datetime2/"
test/Main.hs:346:15:
2) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=Maybe Datetime2, SQL=datetime2
uncaught exception: ODBCException
DatabaseIsClosed "exec"
(after 1 test)
Datetime2 {unDatetime2 = 1796-05-16 19:56:24.9182605}
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=Maybe Datetime2, SQL=datetime2/"
test/Main.hs:346:15:
3) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=Maybe Datetime2, SQL=datetime2 (NULL)
uncaught exception: ODBCException
DatabaseIsClosed "exec"
(after 1 test)
Datetime2 {unDatetime2 = 1796-05-16 19:56:24.9182605}
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=Maybe Datetime2, SQL=datetime2 (NULL)/"
test/Main.hs:346:15:
4) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=TestDateTime, SQL=datetime
uncaught exception: ODBCException
UnsuccessfulReturnCode "odbc_SQLExecDirectW" (-1) "[Microsoft][ODBC Driver 17 for SQL Server][SQL Server]The conversion of a varchar data type to a datetime data type resulted in an out-of-range value." (Just "22007")
(after 15 tests)
TestDateTime (Datetime2 {unDatetime2 = 1796-07-15 23:59:60.003})
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=TestDateTime, SQL=datetime/"
test/Main.hs:346:15:
5) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=Maybe TestDateTime, SQL=datetime
uncaught exception: ODBCException
DatabaseIsClosed "exec"
(after 1 test)
TestDateTime (Datetime2 {unDatetime2 = 1796-05-16 19:56:24.127})
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=Maybe TestDateTime, SQL=datetime/"
test/Main.hs:346:15:
6) Database.ODBC.SQLServer, Conversion to SQL, QuickCheck roundtrip: HS=Maybe TestDateTime, SQL=datetime (NULL)
uncaught exception: ODBCException
DatabaseIsClosed "exec"
(after 1 test)
TestDateTime (Datetime2 {unDatetime2 = 1796-05-16 19:56:24.127})
To rerun use: --match "/Database.ODBC.SQLServer/Conversion to SQL/QuickCheck roundtrip: HS=Maybe TestDateTime, SQL=datetime (NULL)/"
The text was updated successfully, but these errors were encountered:
...but This only happens rarely if the right seed is chosen. I haven't looked into it, but it seems like the issue could likely be with the test code itself
The text was updated successfully, but these errors were encountered: