Cabalize ext-core tools

[ghc-hetmet.git] / utils / ext-core / Language / Core / Check.hs

diff --git a/utils/ext-core/Check.hs b/utils/ext-core/Language/Core/Check.hs
similarity index 99%
rename from utils/ext-core/Check.hs
rename to utils/ext-core/Language/Core/Check.hs
index e379cd7..db15601 100644 (file)
--- a/utils/ext-core/Check.hs
+++ b/utils/ext-core/Language/Core/Check.hs
@@ -1,19 +1,19 @@
 {-# OPTIONS -Wall -fno-warn-name-shadowing #-}
-module Check(
+module Language.Core.Check(
   checkModule, envsModule,
   checkExpr, checkType, 
   primCoercionError, 
   Menv, Venv, Tvenv, Envs(..),
   CheckRes(..), splitTy, substl) where
 
-import Maybe
-import Control.Monad.Reader
+import Language.Core.Core
+import Language.Core.Printer()
+import Language.Core.PrimEnv
+import Language.Core.Env
 
-import Core
-import Printer()
-import List
-import Env
-import PrimEnv
+import Control.Monad.Reader
+import Data.List
+import Data.Maybe
 
 {- Checking is done in a simple error monad.  In addition to
    allowing errors to be captured, this makes it easy to guarantee