From 0f2a12b14dce39f5da0ca4a3f6cb8ea157e56f8f Mon Sep 17 00:00:00 2001 From: johnvg Date: Fri, 1 Jun 2001 10:59:31 +0000 Subject: removed import of debug module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/checkKindCorrectness.icl | 3 ++- 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 -- cgit v1.2.3