X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FCheck.hs;fp=utils%2Fext-core%2FCheck.hs;h=db156018230701bbb522b17821b70245172c87fc;hp=e379cd75826070994e907182ddb185290ced8ee6;hb=b84b5969798530dbf5be9b8bb795b77e5dfbf042;hpb=70f16d3fb8f21fbd198151d59c4ab29023dd9fda;ds=sidebyside

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