diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-30 21:23:47 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-30 21:38:29 +0200 |
| commit | dd46dafe65e93b687ce5051288ab3f5cbfb7e09a (patch) | |
| tree | d527397c5f2205f6b6754f96fdd7166cc87a92e0 /run.sh | |
| parent | 542b0d035444416cae8994f89d1ae11c4e4c5df9 (diff) | |
Monadic error handling
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,8 @@ #!/bin/bash -set -uxo pipefail +set -uo pipefail ghc -o interpreter src/*.hs ./interpreter $@ +ret=$? rm src/*.{hi,o} +exit $ret |