Paul Liétar

Results 36 issues of Paul Liétar

**Is your feature request related to a problem? Please describe.** As part of the development of a CCF app, I'd like to be able to build and run the application...

enhancement

**Is your feature request related to a problem? Please describe.** We have a CCF app, where parts of our code take in a `kv::Tx` argument and perform operations on it....

enhancement

**Is your feature request related to a problem? Please describe.** When a transaction is committed, indexing strategies receive a call back that allow them to cache the new KVs in...

enhancement

**Is your feature request related to a problem? Please describe.** See #4247 **Describe the solution you'd like** In order to compute a receipt, an indexing strategy needs the signature, the...

enhancement

In the following snippet, the compiler is able to prove `X^ ≤ A iso^` in the `reveal` function. However given the constraint, `X` can only be `A tag`. It seems...

triggers release
help wanted
bug
needs investigation

```pony trait Bar[X] class Foo fun foo[X: Bar[Y->Z], Y, Z]() => None ``` ``` Error: main.pony:4:17: type argument is outside its constraint fun foo[X: Bar[Y->Z], Y, Z]() => None ^...

help wanted
bug
needs investigation

## Bug Report ### Version `tracing-core` 0.1.32. The master branch does not have the relevant optimization and is probably fine. ### Platform x86_64 Linux ### Crates `tracing-core` ### Description Under...

The latest release of the scales package has added a pair of optional arguments, `d_transform` and `d_inverse`, in the middle of the parameter list for `trans_new` (see https://github.com/r-lib/scales/pull/341). As a...

The [`cli_warning` and `cli_inform` functions]( https://github.com/r-lib/cli/blob/cecd95b05412ab24e112f192612c585f70a73c80/R/rlang.R#L57-L72) work by formatting their arguments as a single string, which then gets passed on to `rlang::warn`/`rlang::inform` Unfortunately this means that when inspecting the produced...