From 9a3516ccc6e364afb43ef9e72afd2cff12446544 Mon Sep 17 00:00:00 2001 From: ronny Date: Tue, 1 Apr 2003 07:52:44 +0000 Subject: make toString (STE_Kind) total, fixes bug #19 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1336 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/explicitimports.icl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index ee0be00..07bf747 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -529,13 +529,15 @@ checkExplicitImportCompleteness dcls_explicit dcl_modules icl_functions macro_de instance toString STE_Kind where toString (STE_FunctionOrMacro _) = "function/macro" + toString (STE_DclMacroOrLocalMacroFunction _) = "macro" toString STE_Type = "type" toString STE_Constructor = "constructor" toString (STE_Field _) = "field" toString STE_Class = "class" - toString STE_Generic = "generic" //AA toString STE_Member = "class member" + toString STE_Generic = "generic" //AA toString (STE_Instance _) = "instance" + toString ste = "<>" check_whether_ident_is_imported :: !Ident !STE_Kind !CheckCompletenessInputBox !*CheckCompletenessStateBox -> *CheckCompletenessStateBox -- cgit v1.2.3