Tim Whiting

We should allow the following alternatives like we do with regular functions: ```koka fun log(value: a, show: a -> string) value.show.println fun log(value: forall a, show: a -> string) value.show.println...

Just to clarify, if this is intentional and not a bug then we should detect this condition and report a different error. It seems to me that when attempting to...

I think the main problem with this syntax is that it is not clear whether your example should be parsed as two arguments or a single tuple argument. If we...

I actually kind of like the first option. It makes it clearer that the following code is part of a new scope and block. We can still special case that...

@JoanSchi If you are wanting to fix the issue in JsonSerializable, the PR that I made is a bit out of date, but might provide some place to start from....

I've noticed that clearing the build folder (.koka) and rebuilding causes this problem to go away on the first recompile. This makes me think that it has something to do...

This is due to `std/core/show.kk`. ```koka // Show a string as a string literal pub noinline fun string/show( s : string ) : string "\"" ++ s.list.map(show-char).join ++ "\"" ```...

@timbertson I noticed that this wasn't working to run a series of entry points that I was expecting. For example say that I wanted to run all the test functions...

This is similar but different, and I've run into it recently as well. Thanks for the smallish repro. #186 is related to shadowing. However, this seems at first glance related...

Okay, I tracked down the root cause: ``` val (char-idx, char) = match next-char0 Nothing -> return Nothing Just(c) -> c .... ``` Desugars to ``` match ( match next-char0...