diff options
| author | aarne <aarne@chalmers.se> | 2010-01-30 18:01:18 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-01-30 18:01:18 +0000 |
| commit | e71545eab1a0e2528eb18f0296b07caaebed22a9 (patch) | |
| tree | 58b78618e2cf43dabf93fa20ae78a57f710912fc /src/runtime/haskell/PGF.hs | |
| parent | 8d03e48e46b613e5309bda4ac63a37a3efab1c34 (diff) | |
gt and gr can start from a tree with metavariables, just filling them
Diffstat (limited to 'src/runtime/haskell/PGF.hs')
| -rw-r--r-- | src/runtime/haskell/PGF.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index 2ca152db9..6b6e3b1a3 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -165,7 +165,7 @@ parseAll :: PGF -> Type -> String -> [[Tree]] parseAllLang :: PGF -> Type -> String -> [(Language,[Tree])] -- | The same as 'generateAllDepth' but does not limit --- the depth in the generation. +-- the depth in the generation, and doesn't give an initial expression. generateAll :: PGF -> Type -> [Expr] -- | Generates an infinite list of random abstract syntax expressions. @@ -176,7 +176,7 @@ generateRandom :: PGF -> Type -> IO [Expr] -- | Generates an exhaustive possibly infinite list of -- abstract syntax expressions. A depth can be specified -- to limit the search space. -generateAllDepth :: PGF -> Type -> Maybe Int -> [Expr] +generateAllDepth :: Maybe Expr -> PGF -> Type -> Maybe Int -> [Expr] -- | List of all languages available in the given grammar. languages :: PGF -> [Language] @@ -248,7 +248,7 @@ generateRandom pgf cat = do return $ genRandom gen pgf cat generateAll pgf cat = generate pgf cat Nothing -generateAllDepth pgf cat = generate pgf cat +generateAllDepth mex pgf cat = generateAllFrom mex pgf cat abstractName pgf = absname pgf |