Nicolas Trangez

Results 41 issues of 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 *...

bug

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...