[commit: ghc] wip/tc-plugins: Export type-constructors (93117d3)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/tc-plugins
Link       : http://ghc.haskell.org/trac/ghc/changeset/93117d3bb8593b96e98041d381cd343d5e2043b7/ghc

>---------------------------------------------------------------

commit 93117d3bb8593b96e98041d381cd343d5e2043b7
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Thu Oct 9 09:25:21 2014 -0700

    Export type-constructors


>---------------------------------------------------------------

93117d3bb8593b96e98041d381cd343d5e2043b7
 compiler/typecheck/TcTypeNats.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs
index 37fc6e0..8f02c9a 100644
--- a/compiler/typecheck/TcTypeNats.hs
+++ b/compiler/typecheck/TcTypeNats.hs
@@ -2,6 +2,14 @@ module TcTypeNats
   ( typeNatTyCons
   , typeNatCoAxiomRules
   , BuiltInSynFamily(..)
+
+  , typeNatAddTyCon
+  , typeNatMulTyCon
+  , typeNatExpTyCon
+  , typeNatLeqTyCon
+  , typeNatSubTyCon
+  , typeNatCmpTyCon
+  , typeSymbolCmpTyCon
   ) where
 
 import Type