From 54430ac56dda57464a3966694b04254137b8f455 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Mon, 29 Jul 2019 12:13:15 -0400
Subject: [PATCH] Abstract Semi over the term type.

---
 semantic-core/src/Analysis/ImportGraph.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/semantic-core/src/Analysis/ImportGraph.hs b/semantic-core/src/Analysis/ImportGraph.hs
index 80487df91..d9dbef839 100644
--- a/semantic-core/src/Analysis/ImportGraph.hs
+++ b/semantic-core/src/Analysis/ImportGraph.hs
@@ -31,7 +31,7 @@ import           Prelude hiding (fail)
 type ImportGraph = Map.Map Text (Set.Set Text)
 
 data Value = Value
-  { valueSemi  :: Semi
+  { valueSemi  :: Semi (Term (Core.Ann :+: Core.Core) User)
   , valueGraph :: ImportGraph
   }
   deriving (Eq, Ord, Show)
@@ -42,8 +42,8 @@ instance Semigroup Value where
 instance Monoid Value where
   mempty = Value Abstract mempty
 
-data Semi
-  = Closure Loc User (Term (Core.Ann :+: Core.Core) User)
+data Semi term
+  = Closure Loc User term
   -- FIXME: Bound String values.
   | String Text
   | Abstract