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

add function start and move cont and stop to PmCallBack

parent fd5b6042
......@@ -3,3 +3,7 @@ definition module PmCallBack
from IdeState import ::General,::PSt
:: *GeneralSt :== PSt General
start :: !.a !(.Bool -> .(.a -> .(*GeneralSt -> *(.a,*GeneralSt)))) !*GeneralSt -> *GeneralSt
cont :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
stop :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
implementation module PmCallBack
from IdeState import ::General,::PSt,::Id,getInterrupt
from interrupt import StartIntr,ContIntr,StopIntr
:: *GeneralSt :== PSt General
start :: !.a !(.Bool -> .(.a -> .(*GeneralSt -> *(.a,*GeneralSt)))) !*GeneralSt -> *GeneralSt
start ini_step step ps
#! (intr_info,ps) = getInterrupt ps
= StartIntr intr_info ini_step step ps
cont :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
cont (ls,ps)
# (intr_info,ps) = getInterrupt ps
# ps = ContIntr intr_info ps
= (ls,ps)
stop :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
stop (ls,ps)
# (intr_info,ps) = getInterrupt ps
# ps = StopIntr intr_info ps
= (ls,ps)
......@@ -143,11 +143,8 @@ BringProjectUptoDate force continuation ps
# ps = showInfo (Level1 "Bring up to date...") ps
# ps = ClearCompilerCache` ps
#! (intr_info,ps) = getInterrupt ps
// (interact,ps) = getInteract ps
ini_step = DInit force project cleanup
# ps = StartIntr intr_info ini_step step ps
= ps
= start ini_step step ps
where
PrecompileFase project ps
# (precompile,project) = PR_GetPrecompile project
......@@ -282,18 +279,6 @@ where
//--
cont :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
cont (ls,ps)
# (intr_info,ps) = getInterrupt ps
# ps = ContIntr intr_info ps
= (ls,ps)
stop :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
stop (ls,ps)
# (intr_info,ps) = getInterrupt ps
# ps = StopIntr intr_info ps
= (ls,ps)
step :: !Bool !*DriverState !*GeneralSt -> (!*DriverState,!*GeneralSt)
step intr (DInit force project setproject) ps
// # ps = showInfo (Level1 "Make the project...") ps
......
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