X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=62a01acdda4b35b98dbe307c4a24c7fd48ff538d;hb=0f5e104c36b1dc3d8deeec5fef3d65e7b3a1b5ad;hp=95365bacce9af76da4febe616699e3682e307e94;hpb=f5605a5a2ea4a4707c9bec48048d730f0f56dae2;p=ghc-hetmet.git
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index 95365ba..62a01ac 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -110,7 +110,7 @@
increase the resolution of the time profiler.
Using a value of zero disables the RTS clock
- completetly, and has the effect of disabling timers that
+ completely, and has the effect of disabling timers that
depend on it: the context switch timer and the heap profiling
timer. Context switches will still happen, but
deterministically and at a rate much faster than normal.
@@ -661,6 +661,29 @@ char *ghc_rts_opts = "-H128m -K1m";
ghc/compiler/parser/hschooks.c in a GHC
source tree.
+
+
+ Getting information about the RTS
+
+ RTS
+
+ It is possible to ask the RTS to give some information about
+ itself. To do this, use the flag, e.g.
+
+$ ./a.out +RTS --info
+ [("GHC RTS", "Yes")
+ ,("GHC version", "6.7")
+ ,("RTS way", "rts_p")
+ ,("Host platform", "x86_64-unknown-linux")
+ ,("Build platform", "x86_64-unknown-linux")
+ ,("Target platform", "x86_64-unknown-linux")
+ ,("Compiler unregisterised", "NO")
+ ,("Tables next to code", "YES")
+ ]
+
+ The information is formatted such that it can be read as a
+ of type [(String, String)].
+