git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/test/base001/expected
25 lines 549 B history raw
1Type checking ./base001.idr
2exit1: Executing cmd 'exit 1'
3exit1: raw exitStatus = 256
4exit1: WEXITSTATUS(exitStatus) = 1
5exit1: Executing cmd './does-not-exist'
6exit1: raw exitStatus = 32512
7exit1: WEXITSTATUS(exitStatus) = 127
8-------------------------------------------
9Executing 'exit 1'
10raw status = 256
11exit status = 1
12True
14-------------------------------------------
15Executing './exit1'
16raw status = 256
17exit status = 1
18True
20-------------------------------------------
21Executing './does-not-exist'
22raw status = 32512
23exit status = 127
24True