Commit 7fb7c206 authored by John van Groningen's avatar John van Groningen

use type GeneralSt from PmCallBack instead of (PSt General)

parent 7a6889c2
definition module PmDriver
import StdPSt
from PmProject import :: Project, :: Pathname
from IdeState import :: General
from PmCleanSystem import :: CompileOrCheckSyntax
import PmCallBack
:: SetMadeProjectFun :==
( Bool
-> Bool
-> Project
-> (PSt General) -> PSt General)
-> GeneralSt -> GeneralSt)
:: CleanupCont :==
Pathname
Bool
Bool
*(PSt *General) -> *(PSt *General)
*GeneralSt -> *GeneralSt
CompileProjectModule :: // Compile or Syntax-check a single module
!CompileOrCheckSyntax
!Pathname
!Project
!SetMadeProjectFun
!*(PSt General) -> *(PSt General)
!*GeneralSt -> *GeneralSt
GenAsmProjectModule :: // Generate assembly for a single module
!.Pathname
!Project
!SetMadeProjectFun
!*(PSt General) -> *(PSt *General)
!*GeneralSt -> *GeneralSt
BringProjectUptoDate :: // Bring complete project up-to-date
!Bool // force recompile...
CleanupCont
!*(PSt *General) -> *PSt *General
!*GeneralSt -> *GeneralSt
This diff is collapsed.
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