diff options
| author | peter.ljunglof <peter.ljunglof@gu.se> | 2012-08-29 21:45:10 +0000 |
|---|---|---|
| committer | peter.ljunglof <peter.ljunglof@gu.se> | 2012-08-29 21:45:10 +0000 |
| commit | a7de16c34b7ccffc5ae0ac4fd004dfc155b4f546 (patch) | |
| tree | a39529476f339e06ba4b9283ef9073c9b5dcaf75 /src/compiler/GF/Compile | |
| parent | e2ecdfed1fea8dcc77ab3c8d83f74fc577908f5b (diff) | |
Added an O(n log n) version of nub
The new nub is called nub', and it replaces the old sortNub which was
not lazy and did not retain the order between the elements.
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/GeneratePMCFG.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index 0dcb8c8cd..bb4c5b549 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -22,7 +22,7 @@ import GF.Grammar.Lookup import GF.Grammar.Predef import GF.Data.BacktrackM import GF.Data.Operations -import GF.Data.Utilities (updateNthM, updateNth, sortNub) +import GF.Data.Utilities (updateNthM, updateNth) import System.IO import qualified Data.Map as Map |