effekt-lang / effekt

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

Add 'process' module with 'exit' function #541

Closed jiribenes closed 3 months ago

jiribenes commented 3 months ago

Added a quick way to exit the running process by calling exit(exitCode: Int). I don't know what should the module name here should be:

Should the capture be just io, or should there also be some other exit resource so that we know nothing weird happens inside of promises?