From 5c9917ff8d18ddaefd5a8bf4b223009747477fd8 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Thu, 21 Apr 2005 15:21:02 +0000
Subject: Fixed module names and imports after giant file move.

---
 src/GF/Grammar/TC.hs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/GF/Grammar/TC.hs')

diff --git a/src/GF/Grammar/TC.hs b/src/GF/Grammar/TC.hs
index 2287b8afb..411b84e30 100644
--- a/src/GF/Grammar/TC.hs
+++ b/src/GF/Grammar/TC.hs
@@ -5,14 +5,14 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/03/17 09:58:18 $ 
--- > CVS $Author: aarne $
--- > CVS $Revision: 1.8 $
+-- > CVS $Date: 2005/04/21 16:22:29 $ 
+-- > CVS $Author: bringert $
+-- > CVS $Revision: 1.9 $
 --
 -- Thierry Coquand's type checking algorithm that creates a trace
 -----------------------------------------------------------------------------
 
-module TC (AExp(..),
+module GF.Grammar.TC (AExp(..),
 	   Theory,
 	   checkExp,
 	   inferExp,
@@ -20,11 +20,11 @@ module TC (AExp(..),
 	   whnf
 	  ) where
 
-import Operations
-import Abstract
-import AbsCompute
+import GF.Data.Operations
+import GF.Grammar.Abstract
+import GF.Grammar.AbsCompute
 
-import Monad
+import Control.Monad
 
 data AExp =
      AVr   Ident Val 
-- 
cgit v1.2.3