diff options
| author | johnvg | 2001-11-30 15:07:00 +0000 |
|---|---|---|
| committer | johnvg | 2001-11-30 15:07:00 +0000 |
| commit | d0e49e5993aa362f2dab239dbfda4fbe77c6500f (patch) | |
| tree | 9fc9e8b33d4bad2c6db49320655f5e01345913fa /frontend/overloading.icl | |
| parent | store predefined identifiers in CAF (diff) | |
store predefined identifiers in CAF
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.icl')
| -rw-r--r-- | frontend/overloading.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/overloading.icl b/frontend/overloading.icl index bdc55d0..0a95fd4 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -1636,7 +1636,8 @@ where getSymbol :: !Int !(!(Global !Int) -> !SymbKind) !Int !*UpdateInfo -> (SymbIdent,*UpdateInfo) getSymbol index symb_kind arity ui=:{ui_x} - # ({pds_module, pds_def, pds_ident}, ui_x) = ui_x!x_predef_symbols.[index] + # ({pds_module, pds_def}, ui_x) = ui_x!x_predef_symbols.[index] + # pds_ident = predefined_idents.[index] symbol = { symb_name = pds_ident, symb_kind = symb_kind { glob_module = pds_module, glob_object = pds_def}, symb_arity = arity } = (symbol, { ui & ui_x = ui_x}) |