Commit 2dd8e1ec authored by John van Groningen's avatar John van Groningen
Browse files

remove unnecessary imports of module check,

remove import of StdCompare in checksupport.dcl,
changed some other imports
parent 54e6738a
implementation module analtypes
import StdEnv
import syntax, checksupport, checktypes, check, typesupport, utilities, analunitypes
import syntax, checksupport, checktypes, typesupport, utilities, analunitypes
:: TypeGroups :== [[GlobalIndex]]
......
implementation module analunitypes
import StdEnv
import syntax, checksupport, analtypes, check, typesupport, checktypes, utilities
import StdEnv, StdCompare
import syntax, checksupport, analtypes, typesupport, checktypes, utilities
instance + SignClassification
where
......
implementation module check
import StdEnv
import StdEnv, StdCompare
import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef
import explicitimports, comparedefimp, checkFunctionBodies, containers
......
implementation module checkFunctionBodies
import StdEnv, StdCompare
import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef
import explicitimports, comparedefimp
from check import checkFunctions,checkDclMacros
......
implementation module checkgenerics
import syntax,checksupport,checktypes,genericsupport
import syntax,checksupport,checktypes,genericsupport,StdCompare
checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int))
!*{#GenericDef} !*{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState
......
implementation module checktypes
import StdEnv
import syntax, checksupport, check, typesupport, utilities
import StdEnv, StdCompare
import syntax, checksupport, typesupport, utilities
import genericsupport
from explicitimports import search_qualified_ident,::NameSpaceN,TypeNameSpaceN,ClassNameSpaceN
......
......@@ -7,7 +7,7 @@ SwitchMultimatchClassification multi no_multi :== multi
SwitchNewOld new old :== new
import syntax
from trans import ::Component(..),::ComponentMembers(..)
from partition import ::Component(..),::ComponentMembers(..)
from containers import arg_is_strict
import utilities
import StdStrictLists
......
......@@ -4,7 +4,7 @@
definition module convertDynamics
import syntax , checksupport
from trans import ::Component
from partition import ::Component
:: TypeCodeVariableInfo
:: DynamicValueAliasInfo
......
......@@ -4,7 +4,7 @@
definition module convertcases
import syntax
from trans import ::Component
from partition import ::Component
:: LetVarInfo
:: LetExpressionInfo
......
......@@ -3,7 +3,9 @@
*/
implementation module convertcases
import syntax, transform, StdCompare, check, utilities, trans, general; //, RWSDebug
import syntax, transform, StdCompare, utilities, typesupport, general
from partition import ::Component(..),::ComponentMembers(..)
from trans import convertSymbolType
// exactZip fails when its arguments are of unequal length
exactZip` :: ![.a] ![.b] -> [(.a,.b)]
......
......@@ -3,7 +3,7 @@
*/
implementation module mergecases
import syntax, check, StdCompare, utilities
import syntax, transform, StdCompare, utilities
class GetSetPatternRhs a
where
......
definition module overloading
import StdEnv
import syntax, check, typesupport
import syntax, typesupport
:: InstanceTree = IT_Node !(Global Index) !InstanceTree !InstanceTree | IT_Empty
......
implementation module overloading
import StdEnv
import StdEnv, StdCompare
import syntax, check, type, typesupport, utilities, unitype, predef, checktypes, convertDynamics
import syntax, type, typesupport, utilities, unitype, predef, checktypes, convertDynamics
import genericsupport, type_io_common
:: LocalTypePatternVariable =
......
implementation module refmark
import StdEnv
import syntax, Heap, typesupport, check, overloading, unitype, utilities //, RWSDebug
import syntax, Heap, typesupport, overloading, unitype, utilities
(===>) infix 1
(===>) a b :== a // ---> b
......
implementation module transform
import syntax, check, StdCompare, utilities, mergecases; //, RWSDebug
import syntax, utilities, mergecases
:: LiftState =
{ ls_var_heap :: !.VarHeap
......
implementation module type
import StdEnv
import StdEnv, StdCompare
import syntax, typesupport, check, analtypes, overloading, unitype, refmark, predef, utilities, compare_constructor
import genericsupport
......
......@@ -5,7 +5,7 @@ implementation module type_io
import StdEnv, compare_constructor
import scanner, general, Heap, typeproperties, utilities, checksupport
import trans
from trans import convertSymbolTypeWithoutCollectingImportedConstructors
import type_io_common
from genericsupport import kind_to_short_string
......
definition module typesupport
import checksupport, StdCompare
import checksupport
from unitype import ::Coercions, ::CoercionTree, ::AttributePartition, CT_Empty
......
implementation module typesupport
import StdEnv, StdCompare
import syntax, parse, check, unitype, utilities, checktypes, compilerSwitches
import genericsupport
import syntax, unitype, utilities, checktypes
:: Store :== Int
......
implementation module unitype
import StdEnv
import StdEnv, StdCompare
import syntax, analunitypes, type, utilities, checktypes
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment