From b8d710cd1aa2ba780e1bcc86e8359bf51b4b9464 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 24 Feb 2011 14:28:23 +0000
Subject: check_completeness of type of generic function definition

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/explicitimports.icl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'frontend')

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
-- 
cgit v1.2.3