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

Corrected the accum stuff to rebuild after substitute is called

Browse Source
This commit is contained in:
Neil Brown 2008-11-24 10:47:00 +00:00
parent 5bb528fbc3
commit 393bb75eb4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
checks/CheckFramework.hs
View File

@ -421,7 +421,7 @@ applyAccum (accEmpty, accOneF, accJoinF) typeKeysGiven = applyAccum'
f' (x, route, acc) = do
x' <- f (x, route, acc)
case x' of
Left y -> f' (y, route, acc {- TODO recalculate from scratch -})
Left y -> f' (y, route, foldl (flip accOneF) accEmpty (fastListify (const True) y))
Right y -> return y
applyTopDown :: TypeSet -> (forall a. Data a => TransFunc a) ->