diff options
| -rw-r--r-- | backend/backendconvert.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index fc4c5f3..6921312 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -1459,6 +1459,10 @@ convertTypeNode (TempV n) = beVarTypeNode ("_tv" +++ toString n) convertTypeNode (a --> b) = beNormalTypeNode (beBasicSymbol BEFunType) (convertTypeArgs [a, b]) +convertTypeNode (TArrow1 a) + = beNormalTypeNode (beBasicSymbol BEFunType) (convertTypeArgs [a]) +convertTypeNode TArrow + = beNormalTypeNode (beBasicSymbol BEFunType) beNoTypeArgs convertTypeNode (a :@: b) = beNormalTypeNode (beBasicSymbol BEApplySymb) (convertTypeArgs [{at_attribute=TA_Multi, at_type = consVariableToType a} : b]) convertTypeNode TE |