Thanks to visit codestin.com
Credit goes to github.com

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

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions