From 9a7b7f88a0824da506c336f19e7ade3a7ef59fe1 Mon Sep 17 00:00:00 2001 From: ronny Date: Tue, 23 Mar 2004 10:44:59 +0000 Subject: renamed variable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/typereify.icl | 8 ++++---- 1 file 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 -- cgit v1.2.3