Extend map macro to constrained maps
schillic opened this issue · comments
Christian Schilling commented
@map
can only read unconstrained maps so far. But we can read constraints in @system
. It should be rather easy to share that code (I hope).
Marcelo Forets commented
This is also a source of bugs, e.g. in the following code, the struct is built, but the guard is ignored (!):
julia> guard_1 = Universe(3);
julia> t1 = @map(h -> h, dim: 3, h ∈ guard_1)
IdentityMap(3)