effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
302 stars 14 forks source link

Tests for `exception` stdlib. #480

Open marzipankaiser opened 1 month ago

marzipankaiser commented 1 month ago

There are currently no tests for the exception part of the stdlib. (As noticed in #479).

jiribenes commented 1 month ago

The resulting tests should probably go to examples/stdlib/exceptions. There might be some other tests in examples/pos which just test stdlib exceptions, those should then be moved, I guess.