From cb5dbd608d3dc868d99f35ac3703c559d6436051 Mon Sep 17 00:00:00 2001
From: lewie <unknown>
Date: Fri, 26 May 2000 17:42:18 +0000
Subject: [PATCH] [project @ 2000-05-26 17:42:18 by lewie] Applied patch from
hugs98 fixing type annotations in do bindings.
---
ghc/interpreter/type.c | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/ghc/interpreter/type.c b/ghc/interpreter/type.c
index 05501a6233b7..9ce98030dfe2 100644
--- a/ghc/interpreter/type.c
+++ b/ghc/interpreter/type.c
@@ -9,8 +9,8 @@
* included in the distribution.
*
* $RCSfile: type.c,v $
- * $Revision: 1.35 $
- * $Date: 2000/04/27 16:35:30 $
+ * $Revision: 1.36 $
+ * $Date: 2000/05/26 17:42:18 $
* ------------------------------------------------------------------------*/
#include "hugsbasictypes.h"
@@ -1135,6 +1135,7 @@ List qs; {
case FROMQUAL : { Int beta = newTyvars(1);
saveVarsAss();
+ enterPendingBtyvs();
spCheck(l,snd(snd(q)),NIL,genQual,m,beta);
enterSkolVars();
fst(snd(q))
@@ -1142,7 +1143,7 @@ List qs; {
shouldBe(l,fst(snd(q)),NIL,genQual,aVar,beta);
typeComp(l,m,e,qs1);
restoreVarsAss();
- doneBtyvs(l);
+ leavePendingBtyvs();
leaveSkolVars(l,typeIs,typeOff,0);
}
break;
--
GitLab