From 6db0c74c2f120c829e666879b39f57afe1ed3318 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 22 Sep 2011 12:11:03 +0000 Subject: the sd -size command now shows the size of all code needed for defining an oper --- src/compiler/GF/Command/Commands.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF/Command') 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 }), -- cgit v1.2.3