diff options
| author | johnvg | 2010-07-02 14:25:22 +0000 |
|---|---|---|
| committer | johnvg | 2010-07-02 14:25:22 +0000 |
| commit | 38098c81804942ff27f3c47e5d7920ad8655e517 (patch) | |
| tree | 4bdf689df4f7435265978067bed6ee9edff9b494 /frontend/checktypes.icl | |
| parent | remove use of icl_functions by call of checkExplicitImportCompleteness (diff) | |
pass Ident name instead of Ident to functions to create generic idents
in genericsupport
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1790 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index bc0ca57..8256eaa 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -1003,7 +1003,7 @@ where # clazz = { glob_module = -1 , glob_object = - { ds_ident = genericIdentToClassIdent gen_ident gtc_kind + { ds_ident = genericIdentToClassIdent gen_ident.id_name gtc_kind , ds_arity = 1 , ds_index = -1 } @@ -1605,7 +1605,7 @@ where // FIXME: We do not know the type before the generic phase. // The generic phase currently does not update the type. # field_type = makeAttributedType TA_Multi TE - # class_ident = genericIdentToClassIdent gtc_generic.glob_object.ds_ident gtc_kind + # class_ident = genericIdentToClassIdent gtc_generic.glob_object.ds_ident.id_name gtc_kind # (field, var_heap, symbol_table) = build_field field_nr class_ident.id_name rec_type_index rec_type field_type next_selector_index var_heap symbol_table = build_context_fields mod_index (inc field_nr) tcs rec_type rec_type_index (inc next_selector_index) [ field : rev_fields ] [field_type : rev_field_types] class_defs modules var_heap symbol_table |