Jan-Oliver Kaiser comments

Results 155 comments of


                                            Jan-Oliver Kaiser

`Elpi Db mydb lp:{{ <code> }}` not the same as `Elpi Db mydb lp:{{ }}. Elpi Accumulate mydb lp:{{ <code> }}`

Oh, now I understand. What is the reason for that behavior? Why does it make sense to deviate from the usual interpretation of these locality annotations?

Error: No signature declaration for `open-ns`

> Are the MUST and MUST-NOT signalling that, in order to reproduce the bug, one has to follow these instructions. The comments are merely for the bug itself and not...

Error: No signature declaration for `open-ns`

Oh, I see. I had missed this in all the minimization work. There does not seem to be a `(Export->)*Import` chain from `NES.v` to the final `print.v` file. I'll see...

Add support for syntactic command arguments

> There is a design choice we have to make. When you write `Foo 3` and the command takes syntactic arguments we still have `Int` (and `String`). I wonder if...

Request: support single-file scripts with PEP 723 metadata

> The way we intend to solve this is through uv. In fact, there's an open feature request for a [`--with-requirements script.py`](https://github.com/astral-sh/uv/issues/6542) option (and an [open PR](https://github.com/astral-sh/uv/pull/12763)), which would serve...