aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2017-07-25 12:56:22 +0200
committerCamil Staps2017-07-25 12:56:22 +0200
commit7647aa7dfa17eaf77b7b0eea5099648f1b687737 (patch)
tree1dbfeb060fa5e0fe82ba65f6f1a6a454910fbd5e
parentFix issue with local basic values; resolve #10: lazy || and && (diff)
Don't continue when clm failed
-rw-r--r--sil.icl2
1 files changed, 2 insertions, 0 deletions
diff --git a/sil.icl b/sil.icl
index 789db86..29636e2 100644
--- a/sil.icl
+++ b/sil.icl
@@ -101,6 +101,8 @@ Start w
| isError p
# err = err <<< snd (fromError p) <<< "\r\n"
= finish 1 io err w
+| fromOk p <> 0
+ = finish (fromOk p) io err w
| not args.run
= finish 0 io err w
# (p,w) = callProcess "./sil_compiled" [] Nothing w