aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/explicitimports.icl6
1 files changed, 5 insertions, 1 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl
index da48fc2..dc5222e 100644
--- a/frontend/explicitimports.icl
+++ b/frontend/explicitimports.icl
@@ -494,7 +494,7 @@ checkExplicitImportCompleteness dcls_explicit explicit_qualified_imports dcl_mod
# (macro,ccs) = ccs!box_ccs.ccs_macro_defs.[mod_index,decl_index]
= check_completeness macro cci ccs
continuation STE_Generic dcl_common dcl_functions cci ccs
- = ccs // check_completeness not yet implemented
+ = check_completeness dcl_common.com_generic_defs.[decl_index] cci ccs
instance toString STE_Kind where
toString (STE_FunctionOrMacro _) = "function/macro"
@@ -682,6 +682,10 @@ instance check_completeness FunType where
check_completeness {ft_type} cci ccs
= check_completeness ft_type cci ccs
+instance check_completeness GenericDef where
+ check_completeness {gen_type} cci ccs
+ = check_completeness gen_type cci ccs
+
instance check_completeness (Global x) | check_completeness x where
check_completeness { glob_object } cci ccs
= check_completeness glob_object cci ccs