What should we do when we encounter incompatible types while recursing in operators? Well, we should really let the user decide.
default is to ignore and treat in accordance with the operators default behavior
flags to control per run (see below)
attribute to determine on per node basis (@error())
do we need an ignore-type-errors to disable attributes? the current flags default to false, so we cannot use those. Do we want three analogous to the enabling type error flags?
enable/ignore
all
node
leaf
What other applications might an @error() attribute have?
What should we do when we encounter incompatible types while recursing in operators? Well, we should really let the user decide.
@error())do we need an
ignore-type-errorsto disable attributes? the current flags default to false, so we cannot use those. Do we want three analogous to the enabling type error flags?What other applications might an
@error()attribute have?