diff options
| -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] |