Jan Midtgaard

icon indicating a website link https://tailcall.dk icon indicating an email [email protected]

icon company Independent icon location Denmark icon location Hacks on FP and property-based testing. Former academic. Open to work.

Results 395 comments of Jan Midtgaard

conf-openjdk: add Ubuntu-family support

Modulo a lint failure this is now green and should thus be good to go.

Windows build fixes (MSYS2, Cygwin, etc.)

I can confirm that this fixes the annoying `topkg` failure on the opam repository :slightly_smiling_face:

Use WinAPI concurrency primitives on Windows ports (remove winpthreads)

> I don't understand the multicoretest failure, but since they run on Ubuntu, I don't think they would be affected by the switch from winpthreads to the WinAPI ;) I...

Combinator naming principles

I've just opened #367 to address `float` names.

Combinator naming principles

FTR, the `unit` and `bool` situation is consistent (it is admittedly also rather simple): | Combinator name | QCheck.Gen | QCheck.arbitrary | QCheck2.Gen | |-----------------------|---------------------------|-----------------------------------|--------------------------------------------| | unit | unit t...

Combinator naming principles

I've now opened #369 to address `char` names.

Combinator naming principles

I've opened #370 to address `option` consistency. For the `result` type the situation is nice, simple, and already consistent: 🥳 | Combinator name | Type signiture | |--------------------|---------------------------------------------------------------------------| | QCheck.Gen.result...

Combinator naming principles

#371 took care of `bytes` renaming

Combinator naming principles

I've just opened #372 to address `string` renaming

Combinator naming principles

For `int32` and `int64` the situation is as follows: | Combinator name | QCheck.Gen | QCheck.arbitrary | QCheck2.Gen | |-----------------|--------------|--------------------|---------------| | int32 | int32 t | int32 arbitrary | int32...