wrote concept for invAcc

This commit is contained in:
Johannes Winklehner 2016-08-28 21:38:15 +02:00
parent 14a7fe984f
commit 886667bc4b

View file

@ -177,15 +177,6 @@ invalidReads s = [] -- do magic here
invalidWrites s = [] -- do magic here
-- (alternative if easier than invalid read/invalid write separated)
{-invAcc :: [(String,Slice,Bool)] -> CheckString -> Slices
invAcc _ "" = [] -- do magic here
invAcc a ('{':t) = invAcc (enterBlock a) t
invAcc a ('}':t) = invAcc (leaveBlock a) t
invAcc a ('[':t) = invAcc a (drop g t) -- TODO check reads
where g = fromJust (elemIndex ':' t)
-}
invAcc :: [(String,Slice,Bool)] -> CheckString -> Slices
invAcc a ('{':t) = invAcc (enterBlock a) t
invAcc a ('}':t) = invAcc (leaveBlock a) t