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

📝 Configuration’s fields.

Browse Source
This commit is contained in:
Rob Rix 2017-12-20 17:07:17 -05:00
parent 55cff81127
commit 6cf473d72f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Data/Abstract/Configuration.hs
View File

@ -11,10 +11,10 @@ import GHC.Generics
-- | A single point in a program’s execution.
data Configuration l t v
= Configuration
{ configurationTerm :: t
, configurationRoots :: Live l v
, configurationEnvironment :: Environment l v
, configurationStore :: Store l v
{ configurationTerm :: t -- ^ The “instruction,” i.e. the current term to evaluate.
, configurationRoots :: Live l v -- ^ The set of rooted addresses.
, configurationEnvironment :: Environment l v -- ^ The environment binding any free variables in 'configurationTerm'.
, configurationStore :: Store l v -- ^ The store of values.
}
deriving (Generic1)