From bb6905e36ff87d65cb8732ce5325a6a1bbbf6e31 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Mon, 19 Dec 2011 13:10:33 +0000 Subject: [PATCH] the parser now use nub instead of nubsort which means that the abstract syntax trees will be returned lazily --- src/runtime/haskell/PGF/Forest.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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