diff options
| author | aarne <unknown> | 2004-06-18 13:14:50 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-18 13:14:50 +0000 |
| commit | 22613ceb3772722f6e5a5a4470bedd7d6d727474 (patch) | |
| tree | 2453cd1a1811aafe4eb096c77b998a06f4b4262c /src/GF/Shell.hs | |
| parent | 29b9dcaf822e3992eabeac3adaa006e0793409d4 (diff) | |
small things
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index e00382bff..014f5bd60 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -128,7 +128,12 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = checkOptions st co >> case comm of ASTrm _ -> s2t a _ -> a case a' of - ATrms (trm:_) -> do + ATrms (trm:_) -> case tree2exp trm of + G.EInt _ -> do + putStrLn "Warning: Number argument deprecated, use gr -number=n instead" + ts <- randomTreesIO opts gro (optIntOrN opts flagNumber 1) + returnArg (ATrms ts) sa + _ -> do g <- newStdGen case (goFirstMeta (tree2loc trm) >>= refineRandom g 41 cgr) of Ok trm' -> returnArg (ATrms [loc2tree trm']) sa |
