You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Closes#1441.
drive-by: Make `Hugr` covariant.
The plan was to make `ParentBuilder` / `DfBase` covariant too, but they
_must_ be invariant since they contain a mutable `Hugr[OpType]`
attribute.
BREAKING CHANGE: Renamed `_DfBase` to `DfBase` and `_DefinitionBuilder`
to `DefinitionBuilder`
We reference the classes from guppy (in variables that may be any kind of dataflow builder).
We should make the class public (i.e. rename it to
DfBase
). It's type variable should also be declared as covariant.The text was updated successfully, but these errors were encountered: