diff options
| -rw-r--r-- | src-3.0/GF/Compile/CheckGrammar.hs | 9 | ||||
| -rw-r--r-- | src-3.0/GF/Compile/TC.hs (renamed from src-3.0/GF/Devel/TC.hs) | 2 | ||||
| -rw-r--r-- | src-3.0/GF/Compile/TypeCheck.hs (renamed from src-3.0/GF/Devel/TypeCheck.hs) | 7 |
3 files changed, 8 insertions, 10 deletions
diff --git a/src-3.0/GF/Compile/CheckGrammar.hs b/src-3.0/GF/Compile/CheckGrammar.hs index e556ea3ab..5e581cce2 100644 --- a/src-3.0/GF/Compile/CheckGrammar.hs +++ b/src-3.0/GF/Compile/CheckGrammar.hs @@ -24,20 +24,19 @@ module GF.Compile.CheckGrammar ( showCheckModule, justCheckLTerm, allOperDependencies, topoSortOpers) where -import GF.Grammar.Grammar import GF.Infra.Ident import GF.Infra.Modules -import GF.Grammar.Refresh ---- -import GF.Devel.TypeCheck -import GF.Grammar.Predef (cPredef, cPredefAbs) --- +import GF.Compile.TypeCheck +import GF.Grammar.Refresh +import GF.Grammar.Grammar import GF.Grammar.PrGrammar import GF.Grammar.Lookup import GF.Grammar.LookAbs import GF.Grammar.Predef import GF.Grammar.Macros -import GF.Grammar.ReservedWords ---- +import GF.Grammar.ReservedWords import GF.Grammar.PatternMatch import GF.Grammar.AppPredefined import GF.Grammar.Lockfield (isLockLabel) diff --git a/src-3.0/GF/Devel/TC.hs b/src-3.0/GF/Compile/TC.hs index 3d97d4b56..c0c8a83ae 100644 --- a/src-3.0/GF/Devel/TC.hs +++ b/src-3.0/GF/Compile/TC.hs @@ -12,7 +12,7 @@ -- Thierry Coquand's type checking algorithm that creates a trace ----------------------------------------------------------------------------- -module GF.Devel.TC (AExp(..), +module GF.Compile.TC (AExp(..), Theory, checkExp, inferExp, diff --git a/src-3.0/GF/Devel/TypeCheck.hs b/src-3.0/GF/Compile/TypeCheck.hs index 90edff8b0..0347dbab8 100644 --- a/src-3.0/GF/Devel/TypeCheck.hs +++ b/src-3.0/GF/Compile/TypeCheck.hs @@ -12,7 +12,7 @@ -- (Description of the module) ----------------------------------------------------------------------------- -module GF.Devel.TypeCheck (-- * top-level type checking functions; TC should not be called directly. +module GF.Compile.TypeCheck (-- * top-level type checking functions; TC should not be called directly. checkContext, checkTyp, checkEquation, @@ -26,11 +26,10 @@ import GF.Grammar.Abstract import GF.Grammar.Refresh import GF.Grammar.LookAbs import qualified GF.Grammar.Lookup as Lookup --- - -import GF.Devel.TC - import GF.Grammar.Unify --- +import GF.Compile.TC + import Control.Monad (foldM, liftM, liftM2) import Data.List (nub) --- |