Skip to content

Failing tests on ghc 9.2.7 #56

@jberryman

Description

@jberryman

...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)/"

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions