fpco / inline-c

284 stars 50 forks source link

inline-c-0.5.6.1 test suite failure #61

Closed peti closed 7 years ago

peti commented 7 years ago

I'm citing from https://nix-cache.s3.amazonaws.com/log/9byl5ccaqhrgb7xx2f4p1sg8mq3pbgz3-inline-c-0.5.6.1.drv:

Failures:

  test/Language/C/Types/ParseSpec.hs:38: 
  1) Language.C.Types.Parse parses everything which is pretty-printable (Haskell)
       uncaught exception: ErrorCall (Parse error (assertParse): "spec" (line 1, column 35):
       unexpected reserved Haskell identifier "do"
       expecting declarator
       CallStack (from HasCallStack):
         error, called at test/Language/C/Types/ParseSpec.hs:58:17 in main:Language.C.Types.ParseSpec) (after 36 tests)
       *** Failed! (after 36 tests): 
       Exception:
         Parse error (assertParse): "spec" (line 1, column 35):
         unexpected reserved Haskell identifier "do"
         expecting declarator
         CallStack (from HasCallStack):
           error, called at test/Language/C/Types/ParseSpec.hs:58:17 in main:Language.C.Types.ParseSpec

Randomized with seed 165469591
peti commented 7 years ago

Hmm, I re-ran the build and this time the error did not occur. Unfortunately, that replaced the log file I originally had with one that no longer shows the error. :-( Anyhow, I think the issue QuickCheck found might be legit.

bitonic commented 7 years ago

yep, thanks, thankfully the seed is there so i should be able to reproduce

bitonic commented 7 years ago

ok, reproduced with:

stack test inline-c --ta '--seed 165469591'