Daan
Daan
Ah right -- that is a problem; for now you need to either touch the actual source file (.kk), or use the `-r` command line option (but that rebuilds everything)....
Apologies for the late reply @locriacyber , @zakkor ; It is indeed annoying the tooltips are often hidden; I will try at first @zakkor's solution by setting `overflow: visible`. If...
huh, strange error. Thanks for the report, I'll look into it.
Hi @romainPrignon , thanks :-) You are actually trying something quite tricky in typed languages. The type of parse is not quite right: ``` extern parse( str : string )...
That is a big difference ! Koka always generates the same C code so clearly there is _something_ that causes gcc to generate less good code here; I wonder what...
Hi @nikhilm , thanks for interesting example! It is too intricate to give a fast answer and I need to look at it in more detail -- I can do...
Ah -- yes; this is not great; @dcurrie , this is related to the overloading question you had earlier: currently, Koka uses static overloading but that does not always work...
Just to add: usually you can avoid this behaviour by giving more type information, like on the addition, specify it becomes an `: int` or a `: string` (or give...
Thanks -- I'll look into it
Ah, great catch -- it only happened with nested patterns; pushed a fix, I plan to do a new release next week. :-)