diff options
| author | ronny | 2004-03-23 10:44:59 +0000 |
|---|---|---|
| committer | ronny | 2004-03-23 10:44:59 +0000 |
| commit | 9a7b7f88a0824da506c336f19e7ade3a7ef59fe1 (patch) | |
| tree | 71bb5e09c11d3ea4b91373362e79f25bab2d1af1 /frontend/typereify.icl | |
| parent | bug fix: number universal variables of field (diff) | |
renamed variable
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typereify.icl')
| -rw-r--r-- | frontend/typereify.icl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/typereify.icl b/frontend/typereify.icl index 45e14be..546f25e 100644 --- a/frontend/typereify.icl +++ b/frontend/typereify.icl @@ -428,16 +428,16 @@ instance reify TypeRhs where = cons PD_CTSynType instance reify (Int, ConsDef) where - reify (ds_index, {cons_ident, cons_type, cons_exi_vars}) + reify (cons_index, {cons_ident, cons_type, cons_exi_vars}) = (record PD_CTConsDef - ` (function PD__CTToCons ` consSymbol cons_ident ds_index) + ` (function PD__CTToCons ` consSymbol cons_ident cons_index) ` cons_type.st_args ` length cons_exi_vars) o numberTypeVariables cons_exi_vars where - consSymbol cons_ident ds_index state=:{bs_main} + consSymbol cons_ident cons_index state=:{bs_main} # cons_symb = { symb_ident = cons_ident - , symb_kind = SK_Constructor { glob_module = bs_main, glob_object = ds_index} + , symb_kind = SK_Constructor { glob_module = bs_main, glob_object = cons_index} } = reify cons_symb state |