From 8f0ebee036adfcf86aa73171e17280e45bf1f788 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Tue, 29 Jul 2008 14:52:47 +0000 Subject: [PATCH] Document -dsuppress-uniques --- docs/users_guide/debugging.xml | 14 ++++++++++++++ docs/users_guide/flags.xml | 6 ++++++ 2 files changed, 20 insertions(+) diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index e00cd8f..d6a520a 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -423,6 +423,20 @@ + + + + + Suppress the printing of uniques in debugging output. This may make + the printout ambiguous (e.g. unclear where an occurrence of 'x' is bound), but + it makes the output of two compiler runs have many fewer gratuitous differences, + so you can realistically apply diff. Once diff + has shown you where to look, you can try again without + + + + + diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f13d34c..23c1b2b 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2233,6 +2233,12 @@ - + + Suppress the printing of uniques in debug output (easier to use diff. + static + - + + Don't output pragma info in dumps static -- 1.7.10.4