From 4215fc31bf9bfc949599697a014dc13a112ed47c Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 30 Aug 2011 11:24:59 +0000 Subject: bugfixes in the typechecker and the tree generator --- src/runtime/haskell/PGF/Generate.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/runtime/haskell/PGF/Generate.hs') diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs index 408dcc590..33021066e 100644 --- a/src/runtime/haskell/PGF/Generate.hs +++ b/src/runtime/haskell/PGF/Generate.hs @@ -99,9 +99,7 @@ prove dp scope (TTyp env1 (DTyp hypos1 cat es1)) = do mv <- getMeta i case mv of MBound e -> c e - MUnbound _ scope tty cs -> do e <- prove dp scope tty - setMeta i (MBound e) - sequence_ [c e | c <- (c:cs)] + MUnbound x scope tty cs -> setMeta i (MUnbound x scope tty (c:cs)) abs [] e = e abs ((bt,x,ty):hypos) e = EAbs bt x (abs hypos e) -- cgit v1.2.3