Commit 38f5c32d authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 1bfb2188
...@@ -8,16 +8,16 @@ module System.Processes ...@@ -8,16 +8,16 @@ module System.Processes
, nextControllerRefInProcessOrForUrl , nextControllerRefInProcessOrForUrl
) where ) where
import Config.UserProcesses import Maybe
import ReadShowTerm
import AllSolutions import Control.AllSolutions ( getOneValue )
import Global import Global
import HTML.Base import HTML.Base
import Maybe
import ReadShowTerm
import System.Routes
import Config.RoutesData import Config.RoutesData
import Config.UserProcesses
import System.Routes
import System.Session import System.Session
-------------------------------------------------------------------------- --------------------------------------------------------------------------
...@@ -36,7 +36,7 @@ getControllerForState sid (ProcSpec _ ctrlof _) = ctrlof sid ...@@ -36,7 +36,7 @@ getControllerForState sid (ProcSpec _ ctrlof _) = ctrlof sid
--- Is a state a final state, i.e., without successors, in a process system? --- Is a state a final state, i.e., without successors, in a process system?
isFinalState :: a -> Processes a -> IO Bool isFinalState :: a -> Processes a -> IO Bool
isFinalState sid (ProcSpec _ _ trans) = do isFinalState sid (ProcSpec _ _ trans) = do
succs <- getOneSolution (\x -> let p free in x =:= trans sid p) succs <- getOneValue (trans sid _)
return (maybe True (const False) succs) return (maybe True (const False) succs)
-------------------------------------------------------------------------- --------------------------------------------------------------------------
......
...@@ -5,11 +5,12 @@ ...@@ -5,11 +5,12 @@
"synopsis": "Web application 'XXXPKGNAMEXXX' generated by Spicey", "synopsis": "Web application 'XXXPKGNAMEXXX' generated by Spicey",
"category": [ "Web" ], "category": [ "Web" ],
"dependencies": { "dependencies": {
"base" : ">= 1.0.0, < 2.0.0", "base" : ">= 1.0.0, < 2.0.0",
"cdbi" : ">= 2.0.0", "cdbi" : ">= 2.0.0",
"html" : ">= 2.1.0", "html" : ">= 2.1.0",
"random" : ">= 0.0.1", "random" : ">= 0.0.1",
"wui" : ">= 2.0.0" "searchtree" : ">= 0.0.1",
"wui" : ">= 2.0.0"
}, },
"compilerCompatibility": { "compilerCompatibility": {
"pakcs": ">= 2.0.0", "pakcs": ">= 2.0.0",
......
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