diff options
| author | aarne <aarne@chalmers.se> | 2011-09-22 12:11:03 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-09-22 12:11:03 +0000 |
| commit | 6db0c74c2f120c829e666879b39f57afe1ed3318 (patch) | |
| tree | f4e9846a63fe6630091ac11d1e6bf29b01b3815d /src/compiler/GF/Command | |
| parent | baa9bcd9d072277261d0bf85c9623a0db9e8f9d6 (diff) | |
the sd -size command now shows the size of all code needed for defining an oper
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index f3c2790fd..601edca6a 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -791,9 +791,11 @@ allCommands env@(pgf, mos) = Map.fromList [ "This command must be a line of its own, and thus cannot be a part of a pipe." ], options = [ + ("size","show the size of the source code for each constants (number of constructors)") ], examples = [ - "sd ParadigmsEng.mkV -- show all constants on which this one depends" + "sd ParadigmsEng.mkV -- show all constants on which this one depends", + "sd -size ParadigmsEng.mkV -- show all constants on which this one depends, together with size" ], needsTypeCheck = False }), |