Tim Whiting
> > Use the kkbuild var instead of a string > > I kind of don't like using a hidden directory there for no good reason. Sorry, I didn't check...
This sounds like a great idea. I think we would be open to something in-between. Not nightly releases, but something that we can release when we release our dev/stable versions....
Interesting, I cannot reproduce on the latest dev branch, or the latest released compiler.
Thanks for the small reproducible example.
I agree, it makes sense for a package manager to put files in a common directory, but for local project files, it makes sense to keep them in a local...
By the way, eta expansion does work on multiple parameters: `bar(foo(1, 2, _, _), 3)`.
To clarify, this proposal is just for syntax, and not changing how the runtime handles eta-expansion. Though, we should probably deduplicate closures for identical partial application / eta expansion with...
This is not quite true, they have multiple parameter lists, which are essentially predefined currying / explicit lambdas at the definition site. Their example: ```scala // version with multiple parameter...
I've come across similar issues recently... We should locally qualify operation names by the effect name maybe?
Note it properly fails to unify when you are not interacting through the effect handler. So the problem is centered there.