diff options
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 9c04f59..3392c9d 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -1410,6 +1410,8 @@ convertTypeNode TE = beNormalTypeNode beDontCareDefinitionSymbol beNoTypeArgs convertTypeNode (TFA vars type) = beAddForAllTypeVariables (convertTypeVars vars) (convertTypeNode type) +convertTypeNode (TFAC vars type contexts) + = beAddForAllTypeVariables (convertTypeVars vars) (convertTypeNode type) convertTypeNode (TGenericFunctionInDictionary gds type_kind generic_dict=:{gi_module,gi_index}) = beNormalTypeNode (beTypeSymbol gi_index gi_module) beNoTypeArgs convertTypeNode typeNode |