effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

effekt.sh returns 0 even if it fails

IR0NSIGHT opened this issue · comments

im trying to set up a CI pipeline that compiles/runs my benchmarks to catch any incorrect stuff from passing into main branch.
but it seems that effekt.sh always returns 0 (zero) even if running fails.

Ran on bash ubuntu 22.04:

max-priv@NOAH367-L:~/Dokumente/repos/fasteffekt$ effekt.sh src/permute.effekt && echo "$?"
[error] src/permute.effekt:2:1: Cannot find source for examples/fasteffekt/benchmark
import examples/fasteffekt/benchmark
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
0 # this should 1 or another non-zero code

just noticed #293 is the same problem

Thanks, closing this due to being a duplicate