search

barrucadu / dejafu

Systematic concurrency testing meets Haskell.
https://dejafu.docs.barrucadu.co.uk/
191 stars 18 forks source link

The example in the "Quick start" guide does not work. #412

Closed rjmh closed 2 months ago

rjmh commented 2 months ago

Following the instructions in the "Quick start" guide does not work. The definition of myFunction compiles, but passing it to autocheck results in

> autocheck myFunction

<interactive>:103:1: error:
    * No instance for (MonadConc (Program Basic n0))
        arising from a use of `it'
    * In the first argument of `print', namely `it'
      In a stmt of an interactive GHCi command: print it

This is using version 2.4.0.5, newly installed from Hackage.

rjmh commented 2 months ago

This seems to have been some kind of installation problem.