github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

add type annotation to help me understand this code

Browse Source
This commit is contained in:
Charlie Somerville 2018-05-15 11:22:57 -07:00
parent d9b2c8ed80
commit 68f73dfdb0
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Data/Abstract/Evaluatable.hs
View File

@ -234,7 +234,17 @@ evaluatePackageWith analyzeModule analyzeTerm package
. runModules evalModule . runModules evalModule
. withPrelude (packagePrelude (packageBody package)) . withPrelude (packagePrelude (packageBody package))
$ traverse (uncurry evaluateEntryPoint) (ModuleTable.toPairs (packageEntryPoints (packageBody package))) $ traverse (uncurry evaluateEntryPoint) (ModuleTable.toPairs (packageEntryPoints (packageBody package)))
where evalModule m where
evalModule :: Module term
-> Evaluator
location
value
(Modules location value
: State
(Gotos location value (Reader Span : Reader PackageInfo : outer))
: Reader Span : Reader PackageInfo : outer)
(Environment location value, value)
evalModule m
= pairValueWithEnv = pairValueWithEnv
. runInModule (moduleInfo m) . runInModule (moduleInfo m)
. analyzeModule (subtermValue . moduleBody) . analyzeModule (subtermValue . moduleBody)