Robert Krook

icon indicating a website link www.krook.dev icon indicating an email [email protected]

icon company Chalmers University of Technology icon location Gothenburg icon location PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Results 3 issues of Robert Krook

Printing is slow!

3 comment

Printing is super expensive; I just ran a property where each test case takes very little time. 200 000 tests took 14 seconds, but 200 000 tests with `chatty =...

performance

Multicore support

4 comment

Support for running tests in parallel, fixes #180, and addresses #352. Packages like Tasty already have support for running multiple properties in parallel (calling `quickCheck` more than once in parallel),...

enhancement

Kind synonyms do not work

1 comment

As discussed in our meeting, this does not compile ```haskell module Example(fac, main) where import Data.TypeLits import Data.Proxy type LocTy = Symbol type LocTm = String toLocTm :: forall (l...