Commit dfa6cdce authored by Martin Wierich's avatar Martin Wierich
Browse files

moving all switch macros to new module "compilerSwitches"

parent 1985edde
implementation module comparedefimp
import syntax, checksupport, compare_constructor, utilities, StdCompare
import syntax, checksupport, compare_constructor, utilities, StdCompare, compilerSwitches
:: TypesCorrespondState =
{ tc_type_vars
......
......@@ -3,14 +3,8 @@ implementation module explicitimports
import StdEnv
:: FilterState =
{ fs_wanted_symbols :: ![Ident]
, fs_modules :: !.{#DclModule}
, fs_symbol_table :: !.SymbolTable
, fs_error :: !.ErrorAdmin
}
import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef, cheat//, RWSDebug
import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef, cheat,
compilerSwitches//, RWSDebug
cUndef :== (-1)
implies a b :== not a || b
......
implementation module parse
import StdEnv
import scanner, syntax, hashtable, utilities, predef
import scanner, syntax, hashtable, utilities, predef, compilerSwitches
ParseOnly :== False
......
implementation module scanner
import StdEnv, compare_constructor, StdCompare, general
import StdEnv, compare_constructor, StdCompare, general, compilerSwitches
from utilities import revCharListToString, isSpecialChar
......@@ -1990,8 +1990,6 @@ where
//--------------------//
SwitchPreprocessor preprocessor no_preprocessor :== preprocessor
freadPreprocessedLine :: !*File -> (!.{#Char},!*File)
freadPreprocessedLine file
#! (line, file) = freadline file
......
......@@ -2,13 +2,7 @@ implementation module syntax
import StdEnv, compare_constructor // ,RWSDebug
import scanner, general, Heap, typeproperties, utilities
SupportGenerics :== False
PA_BUG on off :== on
switch_import_syntax one_point_three two_point_zero :== one_point_three
SwitchFusion fuse dont_fuse :== dont_fuse
import scanner, general, Heap, typeproperties, utilities, compilerSwitches
:: Ident =
{ id_name :: !String
......@@ -843,6 +837,7 @@ cNotVarNumber :== -1
| TVI_TypeCode !TypeCodeExpression
| TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */
| TVI_Kinds ![TypeKind] // AA: used to collect kinds during checking
| TVI_Kind !TypeKind
| TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function
| TVI_Normalized !Int /* MV - position of type variable in its definition */
......@@ -1252,11 +1247,13 @@ where
instance <<< TypeVar
where
(<<<) file varid = file <<< varid.tv_name
// (<<<) file varid = file <<< varid.tv_name
(<<<) file varid = file <<< varid.tv_name <<< "<" <<< ptrToInt (varid.tv_info_ptr) <<< ">"
instance <<< AttributeVar
where
(<<<) file {av_name,av_info_ptr} = file <<< av_name
// (<<<) file {av_name,av_info_ptr} = file <<< av_name <<< "[" <<< ptrToInt av_info_ptr <<< "]"
(<<<) file {av_name,av_info_ptr} = file <<< av_name
instance toString AttributeVar
where
......
......@@ -2,7 +2,8 @@ implementation module trans
import StdEnv
import syntax, transform, checksupport, StdCompare, check, utilities, unitype, typesupport, type
import syntax, transform, checksupport, StdCompare, check, utilities, unitype, typesupport, type,
compilerSwitches
:: PartitioningInfo =
{ pi_marks :: !.{# Int}
......
implementation module typesupport
import StdEnv, StdCompare
import syntax, parse, check, unitype, utilities, checktypes, RWSDebug
import syntax, parse, check, unitype, utilities, checktypes, compilerSwitches
:: Store :== Int
......
......@@ -2,7 +2,8 @@ implementation module unitype
import StdEnv
import syntax, analunitypes, type, utilities, checktypes //, RWSDebug
import syntax, analunitypes, type, utilities, checktypes,
compilerSwitches //, RWSDebug
import cheat
......
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