diff options
| author | johnvg | 2002-06-17 11:53:07 +0000 |
|---|---|---|
| committer | johnvg | 2002-06-17 11:53:07 +0000 |
| commit | b9d3c2066f3cd10cf0fcda8fb2a6148b6a93ad88 (patch) | |
| tree | b518ce7cc52adbb04939e00ac74fd6068238c93b /frontend/overloading.icl | |
| parent | removed double alternative for TVI_TypeKind in <<< (diff) | |
removed ignored !'s
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.icl')
| -rw-r--r-- | frontend/overloading.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/overloading.icl b/frontend/overloading.icl index 996cf6c..84d52ce 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -1737,14 +1737,14 @@ where }, { ui & ui_local_vars = [cyclic_fv : ui.ui_local_vars]}) - getSymbol :: !Int !(!(Global !Int) -> !SymbKind) !*UpdateInfo -> (SymbIdent,*UpdateInfo) + getSymbol :: !Int !((Global Int) -> SymbKind) !*UpdateInfo -> (SymbIdent,*UpdateInfo) getSymbol index symb_kind ui=:{ui_x} # ({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} } = (symbol, { ui & ui_x = ui_x}) - get_constructor :: !Int !*UpdateInfo -> !(!Expression,!*UpdateInfo) + get_constructor :: !Int !*UpdateInfo -> (!Expression,!*UpdateInfo) get_constructor index ui=:{ui_x = {x_type_code_info={tci_instances}}} /* ** MV |