diff options
| author | ronny | 2004-03-23 10:44:08 +0000 |
|---|---|---|
| committer | ronny | 2004-03-23 10:44:08 +0000 |
| commit | 06a138473f949d636c83c61ab3cd9586bfea3ab5 (patch) | |
| tree | 26d0906641dc16cd9e6b5fbb46a4d075941ba323 /frontend/typereify.icl | |
| parent | change prefix "TD_" to "TD;" (diff) | |
bug fix: number universal variables of field
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1472 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typereify.icl')
| -rw-r--r-- | frontend/typereify.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/typereify.icl b/frontend/typereify.icl index e443c02..45e14be 100644 --- a/frontend/typereify.icl +++ b/frontend/typereify.icl @@ -454,7 +454,8 @@ instance reify FieldSymbol where ` ("\"" +++ def.sd_ident.id_name +++ "\"") ` length (def.sd_exi_vars) ` def.sd_type.st_result) - (numberTypeVariables def.sd_exi_vars st) + (numberTypeVariables def.sd_type.st_vars + (numberTypeVariables def.sd_exi_vars st)) where def = bs_common_defs.[bs_main] |