diff options
| author | johnvg | 2013-04-08 09:16:09 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-08 09:16:09 +0000 |
| commit | 9894d082bd5a0f3c74a2874f9c9a78fd89a089a5 (patch) | |
| tree | 9d851f5631f8981893af610d96371b4afd2d1009 /frontend/explicitimports.icl | |
| parent | update derive class for deriving generic functions in class context (from iTa... (diff) | |
add generic function dependencies for generic function definitions,
add generic case definitions in definition modules for the types used to make the generic representation,
in generic case definitions in definition modules specify what generic info and dependencies are used
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.icl')
| -rw-r--r-- | frontend/explicitimports.icl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index 564758a..de2c248 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -701,8 +701,12 @@ instance check_completeness FunType where = check_completeness ft_type cci ccs instance check_completeness GenericDef where - check_completeness {gen_type} cci ccs - = check_completeness gen_type cci ccs + check_completeness {gen_ident, gen_type, gen_deps} cci ccs + = (check_completeness gen_type cci o foldSt (flip check_completeness cci) gen_deps) ccs + +instance check_completeness GenericDependency where + check_completeness {gd_ident=Ident ident, gd_index={gi_module, gi_index}} cci ccs + = check_whether_ident_is_imported ident gi_module gi_index STE_Generic cci ccs instance check_completeness (Global x) | check_completeness x where check_completeness { glob_object } cci ccs |