From 02a4bc9d588b1678558e1d7350d732acc599f730 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 29 Nov 2012 00:10:51 -0500
Subject: [PATCH] Missed file from last time

---
 src/Dyna/Term/TTerm.hs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/Dyna/Term/TTerm.hs b/src/Dyna/Term/TTerm.hs
index ba73738..07350f0 100644
--- a/src/Dyna/Term/TTerm.hs
+++ b/src/Dyna/Term/TTerm.hs
@@ -18,7 +18,7 @@ module Dyna.Term.TTerm (
     Annotation(..),
 
         -- * Terms
-    TermF(..), DTermV, DTerm,
+    TermF(..), DTermV, DVar, DFunct, DTerm,
 
         -- * Rules
     DRule(..),
@@ -43,9 +43,11 @@ data TermF a t = TFunctor !a ![t]
                | TNumeric !(Either Integer Double)
  deriving (Eq,F.Foldable,Functor,Ord,Show,T.Traversable)
 
-type DTermV v = UTerm (TermF B.ByteString) v
+type DFunct = B.ByteString
+type DTermV v = UTerm (TermF DFunct) v
 
-type DTerm = DTermV B.ByteString
+type DVar  = B.ByteString
+type DTerm = DTermV DVar
 
 ------------------------------------------------------------------------}}}
 -- Instances                                                            {{{
-- 
2.50.1