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

Note some todos for Value.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:39:31 -05:00
parent 4a65cd0da0
commit 6d89beccea
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Abstract/Value.hs
View File

@ -26,6 +26,9 @@ type ValueConstructors location
-- | Open union of primitive values that terms can be evaluated to. -- | Open union of primitive values that terms can be evaluated to.
type Value location = Union (ValueConstructors location) type Value location = Union (ValueConstructors location)
-- TODO: Parameterize Value by the set of constructors s.t. each language can have a distinct value union.
-- TODO: Wrap the Value union in a newtype to differentiate from (eventual) à la carte Types.
data Closure location term = Closure [Name] term (Environment location (Value location term)) data Closure location term = Closure [Name] term (Environment location (Value location term))
deriving (Eq, Generic1, Ord, Show) deriving (Eq, Generic1, Ord, Show)