set_return_code.icl 556 Bytes
Newer Older
1
2
3
4
5
implementation module set_return_code;

import code from "set_return_code.obj";

import StdString;
Diederik van Arkel's avatar
Diederik van Arkel committed
6
import StdPSt;
7
8

:: *UniqueWorld :== World;
Diederik van Arkel's avatar
Diederik van Arkel committed
9
10
11
12
13
14
15
16
17

set_return_code_world :: !Int !UniqueWorld -> UniqueWorld;
set_return_code_world a0 a1 = code {
    ccall set_return_code "I:V:A"
    fill_a 0 1
    pop_a 1
}

set_return_code_pst :: !Int !(PSt .l) -> PSt .l;
18
19
20
21
set_return_code_pst a0 a1 = set_return_code_a a0 a1;

set_return_code_a :: !Int !.a -> .a;
set_return_code_a a0 a1 = code {
Diederik van Arkel's avatar
Diederik van Arkel committed
22
    ccall set_return_code "I:V:A"
23
24
25
}

// void set_return_code (int return_code);