ohua-dev / ohua-core

Core Haskell library for the compiler
https://ohua-dev.github.io
Eclipse Public License 1.0
5 stars 0 forks source link

Fix non-termination in QuickCheck tests #18

Open JustusAdam opened 5 years ago

JustusAdam commented 5 years ago

When running the quick check tests for aeson en/decoding of OutGraph as well as the tests for the dflang pretty printer/parser the execution can end up in what seems like an endless loop (high CPU usage, but no progress is being made).

My suspicion is that this is as a result of a poorly implemented arbitrary function in Ohua.Types.Arbitrary.

Interestingly enough it seems when compiling with profiling support and running with -xc it does work.