github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 05:11:44 +03:00
Code Issues Projects Releases Wiki Activity

Placate hlint.

Browse Source
This commit is contained in:
Rob Rix 2018-05-08 10:36:26 -04:00
parent 65bcc461fc
commit e05c56d0eb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Label.hs
View File

@ -45,7 +45,7 @@ data Goto effects value return where
Goto :: Label -> Goto effects value (PackageInfo, ModuleInfo, Eff (Goto effects value ': effects) value) Goto :: Label -> Goto effects value (PackageInfo, ModuleInfo, Eff (Goto effects value ': effects) value)
runGoto :: Member Fail effects => JumpTable (Goto effects value ': effects) value -> Evaluator location term value (Goto effects value ': effects) a -> Evaluator location term value effects a runGoto :: Member Fail effects => JumpTable (Goto effects value ': effects) value -> Evaluator location term value (Goto effects value ': effects) a -> Evaluator location term value effects a
runGoto initial = raiseHandler (relayState (IntMap.size initial, initial) (\ _ -> pure) (\ (supremum, table) goto yield -> case goto of runGoto initial = raiseHandler (relayState (IntMap.size initial, initial) (const pure) (\ (supremum, table) goto yield -> case goto of
Label packageInfo moduleInfo action -> yield (succ supremum, IntMap.insert supremum (packageInfo, moduleInfo, action) table) supremum Label packageInfo moduleInfo action -> yield (succ supremum, IntMap.insert supremum (packageInfo, moduleInfo, action) table) supremum
Goto label -> case IntMap.lookup label table of Goto label -> case IntMap.lookup label table of
Just (packageInfo, moduleInfo, action) -> yield (supremum, table) (packageInfo, moduleInfo, action) Just (packageInfo, moduleInfo, action) -> yield (supremum, table) (packageInfo, moduleInfo, action)