AMDG On 02/13/2018 01:29 PM, Zach Laine wrote:
On Tue, Feb 13, 2018 at 2:10 PM, Zach Laine
wrote: <snip> I'm convinced the auto-evaluating, and in fact all terminal unwrapping in tag-transforms, should be removed.
Actually, I take this back, at least partially -- I think auto-unwrapping in some form might still be useful without auto-applying the transform. I'll need to experiment with that a bit. *TODO*
If you can figure out a way to do it such that unwrapping is only applied for arguments that are *explicitly* intended to match terminals, then it would work. If you imagine the semantics being as if unwrapping the terminal were an implicit conversion, then it would probably work correctly in all cases. Unfortunately, I don't know how to implement this. In Christ, Steven Watanabe