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

copy app_world_instead_of_ps, remove import of IdeState

parent 6126e9f4
......@@ -6,7 +6,16 @@ import set_return_code
import StdPSt
from UtilIO import GetLongPathName
import StdIOCommon
from IdeState import app_world_instead_of_ps,ioStGetWorld,ioStSetWorld
from iostate import ioStGetWorld,ioStSetWorld
app_world_instead_of_ps f ps
:== appPIO app_world_instead_of_io ps
where
app_world_instead_of_io io
# (w,io) = ioStGetWorld io
# w = f w
= ioStSetWorld w io
cl_args =: getCommandLine
......
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