Stdlib: Add simple libraries: Scanner, Json

marzipankaiser commented 1 month ago

Based on #622. This adds:

Some (minimal) features in the effekt stdlib and the subset of #527 that it depends on
A simple Scanner library (lexing string literals and numbers for now)
A library to parse and print (minified, not pretty) json

marzipankaiser commented 1 month ago

This seems to run into a bug in overload resolution. https://github.com/effekt-lang/effekt/actions/runs/11150574191/job/30992018269#step:10:329 says that there are no overloads which typecheck, but annotating a type in 2a11c350 fixes this for this test: https://github.com/effekt-lang/effekt/actions/runs/11150733604/job/30992562652?pr=631#step:10:487 but resurfaces it for another one.

This is strange. (But it might be me and a late evening... But documenting this so I remember when I look into this in a few weeks.)

jiribenes commented 3 weeks ago

FYI, I cherrypicked char out in #664 to speed it up a little (so that other code can use it)

effekt-lang / effekt