diff options
| author | Aarne Ranta <aarne@chalmers.se> | 2018-09-21 10:40:39 +0200 |
|---|---|---|
| committer | Aarne Ranta <aarne@chalmers.se> | 2018-09-21 10:40:39 +0200 |
| commit | 8787b56defeba9aebceefbd1cc18a4dab86a026d (patch) | |
| tree | a79968513beb511c357724aa2fe8f501b0826ecb /src/compiler/GF/Command/Commands.hs | |
| parent | 50e1e7b17e3d04eac37199fd063613dce5a70f40 (diff) | |
option rf -paragraphs
Diffstat (limited to 'src/compiler/GF/Command/Commands.hs')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index a8a175f7c..72e57fcf5 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -445,6 +445,7 @@ pgfCommands = Map.fromList [ ], options = [ ("lines","return the list of lines, instead of the singleton of all contents"), + ("paragraphs","return the list of paragraphs, as separated by empty lines"), ("tree","convert strings into trees") ], exec = getEnv $ \ opts _ (Env pgf mos) -> do @@ -470,6 +471,7 @@ pgfCommands = Map.fromList [ _ | isOpt "tree" opts -> returnFromLines [(1::Int,s)] _ | isOpt "lines" opts -> return (fromStrings $ lines s) + _ | isOpt "paragraphs" opts -> return (fromStrings $ toParagraphs $ lines s) _ -> return (fromString s), flags = [("file","the input file name")] }), |