Eta expand functions with optional parameters when resolving implicits

koka-lang / koka

Koka language compiler and interpreter

http://koka-lang.org

Other

3.16k stars 151 forks source link

Eta expand functions with optional parameters when resolving implicits #493

Open TimWhiting opened 2 months ago

TimWhiting commented 2 months ago

When using a function with an optional parameter as implicit, the types do not unify. Eta-expanding the function fixes the issue. This is particularly important due to double/show having the default parameter for precision.