Skip to content

GitLab

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

remove accProject (no longer used)

parent 7ebbd243
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 7 deletions
Ide/IdeState.dcl
View file @ a81b1b1f
......@@ -33,7 +33,6 @@ instance Consoler General // Console
getProject :: !*(PSt *General) -> (Project,*PSt *General)
setProject :: !Project !*(PSt *General) -> *PSt *General
appProject :: (Project -> Project) !*(PSt *General) -> *PSt *General
accProject :: (Project -> (.a,Project)) !*(PSt *General) -> (.a,*PSt *General)
getFromProject :: (Project -> .a) !*(PSt *General) -> (!.a,!*PSt *General)
getCompilerProcessIds :: !*(PSt *General) -> (!CompilerProcessIds,!*(PSt *General))
......
Ide/IdeState.icl
View file @ a81b1b1f
......@@ -80,12 +80,6 @@ setProject prj ps = appPLoc (\l->{l & project = prj}) ps
appProject :: (Project -> Project) !*(PSt *General) -> *(PSt *General)
appProject f ps = appPLoc (\l=:{project}->{l & project = f project}) ps
accProject :: (Project -> (.a,Project)) !*(PSt *General) -> (.a,*(PSt *General))
accProject f ps
# (prj,ps) = ps!ls.project
# (res,prj) = f prj
= (res,{ps & ls.project = prj})
getFromProject :: (Project -> .a) !*(PSt *General) -> (!.a,!*PSt *General)
getFromProject f ps=:{ls={project}}
= (f 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