diff options
| -rw-r--r-- | frontend/checkKindCorrectness.icl | 3 | ||||
| -rw-r--r-- | frontend/convertDynamics.icl | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/frontend/checkKindCorrectness.icl b/frontend/checkKindCorrectness.icl index a0ab780..49d285e 100644 --- a/frontend/checkKindCorrectness.icl +++ b/frontend/checkKindCorrectness.icl @@ -1,8 +1,9 @@ implementation module checkKindCorrectness import StdEnv -import syntax, containers, checksupport, utilities, RWSDebug +import syntax, containers, checksupport, utilities +// import RWSDebug checkKindCorrectness :: !NumberSet !Index IndexRange !{#CommonDefs} !{#DclModule} !u:{# FunDef} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin -> (!u:{# FunDef}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin) diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index c2b4785..728b97a 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -8,8 +8,8 @@ extended_unify_and_coerce no yes :== no; // change also _unify and _coerce in St //import pp; APPEND_DEFINING_TYPE_MODULE_NAMES_TO_TYPE_NAMES yes no :== no -import RWSDebug; import type_io; +//import RWSDebug; :: *ConversionInfo = { ci_predef_symb :: !*PredefinedSymbols |