Edsko de Vries
Edsko de Vries
We should move to `json` rather than `aeson` to avoid object fields sorted.
### Summary [`isFunctionType` in `PlutusIR.Transform.ThunkRecursions`](https://github.com/input-output-hk/plutus/blob/c8d4364d0e639fef4d5b93f7d6c0912d992b54f9/plutus-core/plutus-ir/src/PlutusIR/Transform/ThunkRecursions.hs#L98) misses a case for polymorphic functions. This means that the `thunkRecursions` pass will create a non-strict let-binding for such functions, which in the subsequent `compileNonStrictBindings...
The `list` generator in Hedgehog is about an order of magnitude slower than the one in QuickCheck. For most purposes, this should not matter; generally it's better to reduce the...
Module `Test.StateMachine.Labelling` [defines](https://github.com/advancedtelematic/quickcheck-state-machine/blob/97728ec744af61fc31be46652e3ff0ff0622e2d0/src/Test/StateMachine/Labelling.hs#L98-104) ```haskell data Event model cmd resp (r :: Type -> Type) = Event { eventBefore :: model r , eventCmd :: cmd r , eventAfter :: model...
Writing example `Commands` by hand (when developing the tests, or when wanting to save particular generated tests) is a bit inconvenient. Not only does `Commands` capture the result of the...
This is an attempt to revive https://github.com/well-typed/generics-sop/tree/compact-representation .
Currently we only have a generalization of `HAp` (`HApplicative`), and functions that _could_ be defined in terms of a (hypothetical) `HFunctor` class are defined in terms of `HAp` instead. This...
This feature was implemented but is currently turned off because it used to much memory. This should be investigated, the data structured adjusted and the feature re-enabled. The number of...
Because `cabal-install` does not support package candidates explicitly, the only way for the doc builder to install a package candidate (in order to build its docs) is to do ```...
At the moment `acid-state` uses ``` Haskell newtype Update st a = Update { unUpdate :: State st a } deriving (Monad, Functor, MonadState st) newtype Query st a =...