effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link

Add a test that loads all stdlib files #614

Open jiribenes opened 2 months ago

jiribenes commented 2 months ago

Add a simple test like examples/chez/libraries.effekt that just loads all stdlib files to see whether they still type-check.