From 6d89beccead600e06a4d6f7f7a948ee0515e10f9 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 09:39:31 -0500 Subject: [PATCH] Note some todos for Value. --- src/Data/Abstract/Value.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs index 4e4834106..04eefe343 100644 --- a/src/Data/Abstract/Value.hs +++ b/src/Data/Abstract/Value.hs @@ -26,6 +26,9 @@ type ValueConstructors location -- | Open union of primitive values that terms can be evaluated to. 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)) deriving (Eq, Generic1, Ord, Show)