Open wenkokke opened 7 months ago
Could be addressed by #557 even if placing them under function
doesn't quite make sense.
Could this be "callee"? What's the domain for these? Ie for the Left
example should the domain be the surrounding parens?
Could this be "callee"? What's the domain for these? Ie for the
Left
example should the domain be the surrounding parens?
It'd be good to be able to say something like "change constructor first argument every branch".
Having them be "callee" is possible, but mentally strange.
that should work out of the box with "callee" if everything is implemented correctly
I guess that leaves the question: are you comfortable with True
and False
being addressed as "callee"
?
I think that makes sense when one bends one's mind to the Haskell way of thinking, no?
Add a scope type to target data constructors, such as: