diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-12-19 13:10:33 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-12-19 13:10:33 +0000 |
| commit | bb6905e36ff87d65cb8732ce5325a6a1bbbf6e31 (patch) | |
| tree | d3dc46706c67cb3deb7a6eea48245bb2348b44bf /src/runtime/haskell/PGF | |
| parent | 15678a0fced17d9ed40b8a79985820b15dcc11d8 (diff) | |
the parser now use nub instead of nubsort which means that the abstract syntax trees will be returned lazily
Diffstat (limited to 'src/runtime/haskell/PGF')
| -rw-r--r-- | src/runtime/haskell/PGF/Forest.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Forest.hs b/src/runtime/haskell/PGF/Forest.hs index be96ac0f3..6a5a0c629 100644 --- a/src/runtime/haskell/PGF/Forest.hs +++ b/src/runtime/haskell/PGF/Forest.hs @@ -121,7 +121,7 @@ getAbsTrees (Forest abs cnc forest root) arg@(PArg _ fid) ty dp = generateForForest (prove dp) e) emptyMetaStore fid
in if null res
then Left (nub err)
- else Right (nubsort [e | (_,_,e) <- res])
+ else Right (nub [e | (_,_,e) <- res])
where
go rec_ scope_ mb_tty_ (PArg hypos fid)
| fid < totalCats cnc = case mb_tty of
|