Commit 23834920 authored by John van Groningen's avatar John van Groningen

remove set_return_code_pst

parent 65cc2600
...@@ -6,6 +6,7 @@ import set_return_code ...@@ -6,6 +6,7 @@ import set_return_code
import StdPSt import StdPSt
from UtilIO import GetLongPathName from UtilIO import GetLongPathName
import StdIOCommon import StdIOCommon
from IdeState import app_world_instead_of_ps,ioStGetWorld,ioStSetWorld
cl_args =: getCommandLine cl_args =: getCommandLine
...@@ -27,7 +28,7 @@ initPlatformCommandLineArguments ps ...@@ -27,7 +28,7 @@ initPlatformCommandLineArguments ps
pAbort :: !(PSt .a) -> PSt .a pAbort :: !(PSt .a) -> PSt .a
pAbort ps pAbort ps
= set_return_code_pst (-1) ps = app_world_instead_of_ps (set_return_code_world (-1)) ps
installPlatformEventHandlers :: !*(PSt .l) -> *(PSt .l) installPlatformEventHandlers :: !*(PSt .l) -> *(PSt .l)
installPlatformEventHandlers ps installPlatformEventHandlers ps
......
definition module set_return_code definition module set_return_code
from StdPSt import :: PSt set_return_code_world :: !Int !*World -> *World
:: *UniqueWorld :== World
set_return_code_world :: !Int !UniqueWorld -> UniqueWorld
set_return_code_pst :: !Int !(PSt .l) -> PSt .l
...@@ -2,18 +2,13 @@ implementation module set_return_code; ...@@ -2,18 +2,13 @@ implementation module set_return_code;
import code from "c_set_return_code."; import code from "c_set_return_code.";
import StdString; set_return_code_world :: !Int !*World -> *World;
import StdPSt;
:: *UniqueWorld :== World;
set_return_code_world :: !Int !UniqueWorld -> UniqueWorld;
set_return_code_world a0 a1 = code { set_return_code_world a0 a1 = code {
ccall set_return_code "I:V:A" ccall set_return_code "I:V:A"
fill_a 0 1 fill_a 0 1
pop_a 1 pop_a 1
} }
/*
set_return_code_pst :: !Int !(PSt .l) -> PSt .l; set_return_code_pst :: !Int !(PSt .l) -> PSt .l;
set_return_code_pst a0 a1 = set_return_code_a a0 a1; set_return_code_pst a0 a1 = set_return_code_a a0 a1;
...@@ -21,5 +16,5 @@ set_return_code_a :: !Int !.a -> .a; ...@@ -21,5 +16,5 @@ set_return_code_a :: !Int !.a -> .a;
set_return_code_a a0 a1 = code { set_return_code_a a0 a1 = code {
ccall set_return_code "I:V:A" ccall set_return_code "I:V:A"
} }
*/
// void set_return_code (int return_code); // void set_return_code (int return_code);
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment