suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed an old use of the Not operator into the corresponding function call

Browse Source
This commit is contained in:
Neil Brown 2009-04-08 10:34:51 +00:00
parent 22cb9d35b6
commit da4f4e1cd8
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/UsageCheckAlgorithms.hs
View File

@ -30,6 +30,7 @@ import qualified AST as A
import FlowAlgorithms import FlowAlgorithms
import FlowGraph import FlowGraph
import Metadata import Metadata
import Types
import UsageCheckUtils import UsageCheckUtils
import Utils import Utils
@ -208,7 +209,8 @@ findConstraints graph startNode
nub $ nodeVal ++ (case e of nub $ nodeVal ++ (case e of
ESeq (Just (n, Just True)) -> maybeToList (fmap ((,) n) $ nodeCond u) ESeq (Just (n, Just True)) -> maybeToList (fmap ((,) n) $ nodeCond u)
ESeq (Just (n, Just False)) -> maybeToList ESeq (Just (n, Just False)) -> maybeToList
(fmap ((,) n . A.Monadic emptyMeta A.MonadicNot) (nodeCond u)) (fmap ((,) n . A.FunctionCall emptyMeta (A.Name emptyMeta $
occamDefaultOperator "NOT" [A.Bool]) . singleton) (nodeCond u))
_ -> []) _ -> [])
removeOld = case e of removeOld = case e of
ESeq (Just (n, Nothing)) -> filter ((/= n) . fst) ESeq (Just (n, Nothing)) -> filter ((/= n) . fst)