From acf46ec14ff8d49ef1b43462ead5eff25f2fa493 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 09:41:33 -0500
Subject: [PATCH] Note a todo for Declaration.Function.

---
 src/Data/Syntax/Declaration.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/Syntax/Declaration.hs b/src/Data/Syntax/Declaration.hs
index 60c1788e6..c57a6a7c4 100644
--- a/src/Data/Syntax/Declaration.hs
+++ b/src/Data/Syntax/Declaration.hs
@@ -35,6 +35,7 @@ instance Show1 Function where liftShowsPrec = genericLiftShowsPrec
 
 -- TODO: Do we need some distinct notion of a global environment?
 -- TODO: Implement evaluation under the binder for the typechecking evaluator.
+-- TODO: Filter the closed-over environment by the free variables in the term.
 instance ( Monad m
          , Ord l
          , Semigroup (Cell l (Value l t))