From e71545eab1a0e2528eb18f0296b07caaebed22a9 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 30 Jan 2010 18:01:18 +0000 Subject: gt and gr can start from a tree with metavariables, just filling them --- src/runtime/haskell/PGF.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/runtime/haskell/PGF.hs') 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 -- cgit v1.2.3