From d4e397a35be100674c23b2c863210136d5b5d35c Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 2 Apr 2013 15:26:26 +0000
Subject: add type constraints in constructors and function arguments with
 universal quantifier (from iTask branch)

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

(limited to 'backend')

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