aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/typereify.icl8
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