wibble

src/Cryptol/ModuleSystem/Env.hs

@@ -217,7 +217,8 @@ qualifiedEnv me = fold $
 newtype LoadedModules = LoadedModules
   { getLoadedModules :: [LoadedModule]
   } deriving (Show, Generic, NFData)
--- ^ Invariant: All the dependencies of any module `m` must precede `m` in the list.
+-- ^ Invariant: All the dependencies of any module `m` must precede `m`
+-- in the list.
 
 instance Monoid LoadedModules where
   mempty        = LoadedModules []

src/Cryptol/TypeCheck/AST.hs

@@ -59,6 +59,12 @@ data Module = Module { mName        :: !ModName
                      , mDecls       :: [DeclGroup]
                      } deriving (Show, Generic, NFData)
 
+isParametrizedModule :: Module -> Bool
+isParametrizedModule m = not (null (mParamTypes m) &&
+                              null (mParamConstraints m) &&
+                              null (mParamFuns m))
+
+
 
 
 data Expr   = EList [Expr] Type         -- ^ List value (with type of elements)