From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 29 Nov 2012 05:10:51 +0000 (-0500)
Subject: Missed file from last time
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=02a4bc9d588b1678558e1d7350d732acc599f730;p=dyna2

Missed file from last time
---

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                                                            {{{