From 04f8af40d140878de8fe272f24c739d3ae24b1e5 Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 13 Feb 2002 09:13:52 +0000
Subject: bug fix: convert higher-order arrow types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1018 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/backendconvert.icl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'backend')

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
-- 
cgit v1.2.3