mirror of
https://github.com/github/semantic.git
synced 2024-12-20 21:31:48 +03:00
Align Configuration fields.
This commit is contained in:
parent
12824b018a
commit
f105ecbdaa
@ -14,10 +14,10 @@ type ConfigurationFor term value = Configuration (LocationFor value) term value
|
||||
-- | A single point in a program’s execution.
|
||||
data Configuration l t v
|
||||
= Configuration
|
||||
{ configurationTerm :: t -- ^ The “instruction,” i.e. the current term to evaluate.
|
||||
, configurationRoots :: Live l v -- ^ The set of rooted addresses.
|
||||
{ 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.
|
||||
, configurationStore :: Store l v -- ^ The store of values.
|
||||
}
|
||||
deriving (Generic1)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user