Lukas Heidemann
Lukas Heidemann
The bounding box for a interchangers of type II is computed only for the first two dimensions. This breaks the scaffold code that relies on the entire bounding box. In...
When making changes in development, the website conveniently refreshes with the updated version. In this process the current state is lost. It would be a boon for productivity if the...
Guppy appears to generate hugr modules that contain multiple functions with the same name and parent node. This is currently accepted by `hugr-core` but is considered an error in `hugr-model`...
This issue is to propose moving towards a system of terms in `hugr-core` similar to that of `hugr-model`. While this is a major change, it simplifies the compiler, increases its...
This PR splits up `TypeArg::Sequence` into `TypeArg::List` for homogeneous sequences and `TypeArg::Tuple` for heterogeneous sequences. This is closer to `hugr-model` and avoids the ambiguous typing of `TypeArg::Sequence`. BREAKING CHANGE: `TypeArg::Sequence`...
This PR fixes the PEST grammar for constant function terms. It erroneously expected a nested `term` instead of a nested `region`. Regression tests are included.
Error messages that only involve ids of nodes, regions or terms are hard to interpret. Using the text format, we can print out the context that is involved in an...
The import process from `hugr-model` to `hugr-core` can fail when the module was not valid. This is not validation, as import success does not imply that the module is indeed...
For now the import from model to core and the export from core to model throw away all metadata. This is due to a mismatch between the type of metadata...