Skip to content

GitLab

C
clean-ide
Commit d00adb46 authored by John van Groningen's avatar John van Groningen
Browse files
Options

Pass World to QuitCleanCompiler

parent 90a47350
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
Mac/PmCleanSystem.dcl
View file @ d00adb46
......@@ -21,7 +21,7 @@ NoCompilerProcessIds :: CompilerProcessIds
ClearCompilerCache :: !String !String !.a -> (!Int,!.a)
ClearCompilerCaches :: !CompilerProcessIds !.a -> (!Int,!.a)
QuitCleanCompiler :: !Bool !CompilerProcessIds !*(IOSt .l) -> *(IOSt .l)
QuitCleanCompiler :: !Bool !CompilerProcessIds !*World -> *World
:: CompileClearCache = ClearCache | Don`tClearCache
instance == CompileClearCache
......
Mac/PmCleanSystem.icl
View file @ d00adb46
......@@ -821,7 +821,7 @@ Execute` execpath env
//--- OTHER STUFF
QuitCleanCompiler :: !Bool !CompilerProcessIds !*(IOSt .l) -> *(IOSt .l)
QuitCleanCompiler :: !Bool !CompilerProcessIds !*World -> *World
// want to quit all launched Compilers in any env...???
// means we need to keep track of these somehow.
QuitCleanCompiler False _ io
......
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