diff options
| author | johnvg | 2011-02-24 14:28:23 +0000 |
|---|---|---|
| committer | johnvg | 2011-02-24 14:28:23 +0000 |
| commit | b8d710cd1aa2ba780e1bcc86e8359bf51b4b9464 (patch) | |
| tree | 3e2596e659fbac668ac7e910e333c30aa09e0424 | |
| parent | more: write generic functions in constructors to .tcl and .typ files, (diff) | |
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
| -rw-r--r-- | frontend/explicitimports.icl | 6 |
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 |