Nicolas Trangez
Nicolas Trangez
Currently, the result of the callback passed to `receive` is written into an `MVar` as-is, for further consumption by another actor/thread. If this value is not forced to WHNF or...
Unagi's `InChan` has an `Eq` instance, so I imagine `Address` could get (a derived) one as well. This would help keeping `Address`es in some list (and removing one of them...
Currently, `receive`'s type is `(forall res. msg res -> Actor msg res) -> Actor msg ()`. As a result, when using it, a handler for all kinds of messages is...
Currently, `registerDelay` is implemented in function of what's provided by `MonadConc`, forking a thread. This works, but the `registerDelay` implementation from GHC/`stm` is quite different: it schedules something in the...
With `inspectTVar` it's possible to inspect a `ModelTVar n` in an `Invariant n` context. This is very useful, however, it's unclear to me how the types provided by `concurrency` built...
When running a test using invariants with `tasty-dejafu`, when an invariant is violated, all it shows is `invariant failure` with a trace. I believe this comes from the `showCondition` function,...
While trying some things using DejaFu, I ran into a case where a test-case gives (intentionally) inconsistent results, as witnessed when running the test in `IO`, however, according to `testAuto`...
The latest release of `liquid-base` on Hackage is 4.15.0.0 ([link](https://hackage.haskell.org/package/liquid-base-4.15.0.0)). However, at the time of writing, the version of `liquid-base` in Git (currently `develop` is at 492cd97c18f4037e241f26b281a79acbf59b7bff) is 4.14.3.0 ([link](https://github.com/ucsd-progsys/liquidhaskell/blob/492cd97c18f4037e241f26b281a79acbf59b7bff/liquid-base/liquid-base.cabal#L3))....
### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Read about bug reporting in general: https://rspamd.com/doc/faq.html#how-to-report-bugs-found-in-rspamd *...
In #2, `withAsyncWithUnmask` and `withAsyncOnWithUnmask` (and their non-`with` counterparts) were added, as well as `withAsyncBound`. However, there's no `withAsyncBoundWithUnmask` despite the existence of `forkOSWithUnmask` in GHC. Is there a particular...