diff options
| author | aarne <unknown> | 2005-03-02 08:43:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-03-02 08:43:52 +0000 |
| commit | d1a21f95620423997279f4fc7f981d919e33e40b (patch) | |
| tree | a9dba4adc986091c3af2b3c38859314ae02ca406 /src/GF/UseGrammar/Generate.hs | |
| parent | 0bd427b5a83a97adca52c37219c7bfb8f8ca7e87 (diff) | |
bug fixes in generate and type check
Diffstat (limited to 'src/GF/UseGrammar/Generate.hs')
| -rw-r--r-- | src/GF/UseGrammar/Generate.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/UseGrammar/Generate.hs b/src/GF/UseGrammar/Generate.hs index 7242bb595..a978dd7a4 100644 --- a/src/GF/UseGrammar/Generate.hs +++ b/src/GF/UseGrammar/Generate.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/02/24 11:46:38 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.8 $ +-- > CVS $Date: 2005/03/02 09:43:52 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.9 $ -- -- Generate all trees of given category and depth. AR 30\/4\/2004 -- @@ -40,7 +40,7 @@ import List -- | the main function takes an abstract syntax and returns a list of trees generateTrees :: GFCGrammar -> Bool -> Cat -> Int -> Maybe Int -> Maybe Tree -> [Exp] -generateTrees gr ifm cat n mn mt = map str2tr $ generate gr' ifm cat' n mn mt' +generateTrees gr ifm cat n mn mt = nub $ map str2tr $ generate gr' ifm cat' n mn mt' where gr' = gr2sgr gr cat' = prt $ snd cat |