search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

Add fileinfo #419

Closed TimWhiting closed 5 months ago

TimWhiting commented 6 months ago

File locations for tracing based on implicit parameters

Would fix: #20 and part of #21

TimWhiting commented 5 months ago

This could also be extended to get run-time type information, just where it is needed 🤯

Also Lenses And match patterns?

daanx commented 5 months ago

Thank Tim -- a bit controversial as we discussed as these are not normal values but more like magic preprocessor directives. Very convenient though so let's experiment with it.