Commit 51bc6b02 authored by John van Groningen's avatar John van Groningen
Browse files

removed import of debug module

parent 4fdc575e
implementation module checkKindCorrectness implementation module checkKindCorrectness
import StdEnv 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 checkKindCorrectness :: !NumberSet !Index IndexRange !{#CommonDefs} !{#DclModule} !u:{# FunDef} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin
-> (!u:{# FunDef}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin) -> (!u:{# FunDef}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin)
......
...@@ -8,8 +8,8 @@ extended_unify_and_coerce no yes :== no; // change also _unify and _coerce in St ...@@ -8,8 +8,8 @@ extended_unify_and_coerce no yes :== no; // change also _unify and _coerce in St
//import pp; //import pp;
APPEND_DEFINING_TYPE_MODULE_NAMES_TO_TYPE_NAMES yes no :== no APPEND_DEFINING_TYPE_MODULE_NAMES_TO_TYPE_NAMES yes no :== no
import RWSDebug;
import type_io; import type_io;
//import RWSDebug;
:: *ConversionInfo = :: *ConversionInfo =
{ ci_predef_symb :: !*PredefinedSymbols { ci_predef_symb :: !*PredefinedSymbols
......
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