diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-08-30 11:24:59 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-08-30 11:24:59 +0000 |
| commit | 4215fc31bf9bfc949599697a014dc13a112ed47c (patch) | |
| tree | 749cf2a00170120c795da2ba7b368af0f0226c2b /src/runtime/haskell/PGF/Generate.hs | |
| parent | 41a60772c731e5bc99c0fe2ec804681f468ed779 (diff) | |
bugfixes in the typechecker and the tree generator
Diffstat (limited to 'src/runtime/haskell/PGF/Generate.hs')
| -rw-r--r-- | src/runtime/haskell/PGF/Generate.hs | 4 |
1 files changed, 1 insertions, 3 deletions
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) |