This is mercury_user_guide.info, produced by makeinfo version 4.11 from
user_guide.texi_pp.

INFO-DIR-SECTION The Mercury Programming Language
START-INFO-DIR-ENTRY
* Mercury User's Guide: (mercury_user_guide).  The Mercury User's Guide.
END-INFO-DIR-ENTRY

   This file documents the Mercury implementation, version 11.07.

   Copyright (C) 1995-2011 The University of Melbourne.

   Permission is granted to make and distribute verbatim copies of this
manual provided the copyright notice and this permission notice are
preserved on all copies.

   Permission is granted to copy and distribute modified versions of
this manual under the conditions for verbatim copying, provided also
that the entire resulting derived work is distributed under the terms
of a permission notice identical to this one.

   Permission is granted to copy and distribute translations of this
manual into another language, under the above conditions for modified
versions.


Indirect:
mercury_user_guide.info-1: 952
mercury_user_guide.info-2: 299087

Tag Table:
(Indirect)
Node: Top952
Node: Introduction2147
Node: Filenames2830
Node: Using mmc6921
Node: Running12337
Node: Using Mmake13795
Ref: Using Mmake-Footnote-129340
Node: Libraries29452
Node: Writing libraries30044
Node: Building with mmc --make31163
Node: Building and installing libraries with mmc --make31516
Node: Using installed libraries with mmc --make33161
Node: Using non-installed libraries with mmc --make34151
Node: Building with Mmake35546
Node: Building libraries with Mmake35853
Node: Installing libraries with Mmake39868
Node: Using libraries with Mmake41877
Node: Libraries and the Java grade43464
Node: Libraries and the Erlang grade44434
Node: Debugging44984
Node: Quick overview45423
Node: GNU Emacs interface48799
Node: Tracing of Mercury programs53468
Node: Preparing a program for debugging60797
Node: Tracing optimized code67953
Node: Mercury debugger invocation68753
Node: Mercury debugger concepts72458
Node: User defined events81411
Node: I/O tabling85763
Node: Debugger commands88982
Node: Interactive query commands90646
Node: Forward movement commands93815
Node: Backward movement commands100200
Node: Browsing commands102505
Node: Breakpoint commands115856
Node: I/O tabling commands132034
Node: Parameter commands132514
Node: Help commands144087
Node: Declarative debugging mdb commands145376
Node: Experimental commands149295
Node: Miscellaneous commands155518
Node: Developer commands157244
Node: Declarative debugging166289
Node: Declarative debugging overview167072
Node: Declarative debugging concepts167792
Node: Oracle questions170323
Node: Declarative debugging commands173573
Node: Diagnoses180434
Node: Search Modes183870
Node: Improving the search186580
Node: Trace counts192143
Node: Generating trace counts192930
Node: Combining trace counts194750
Node: Slicing196241
Node: Dicing199319
Node: Coverage testing203809
Node: Profiling205605
Node: Profiling introduction206738
Node: Building profiled applications208359
Node: Creating profiles210752
Node: Using mprof for time profiling213788
Node: Using mprof for profiling memory allocation222660
Node: Using mprof for profiling memory retention224190
Node: Using mdprof226865
Node: Using threadscope231522
Node: Profiling and shared libraries232331
Node: Invocation233367
Node: Invocation overview234072
Node: Warning options235079
Node: Verbosity options241618
Node: Output options244893
Node: Auxiliary output options250256
Node: Language semantics options257413
Node: Termination analysis options259062
Node: Compilation model options261659
Node: Grades and grade components263080
Node: Target options267489
Node: LLDS back-end compilation model options269111
Node: MLDS back-end compilation model options270971
Node: Optional features compilation model options271674
Node: Developer compilation model options277645
Node: Code generation options279671
Node: Code generation target options282484
Node: Optimization options283904
Node: Overall optimization options284455
Node: High-level (HLDS -> HLDS) optimization options287938
Node: MLDS backend (MLDS -> MLDS) optimization options294748
Node: Erlang (HLDS -> ELDS) optimization options295891
Node: Medium-level (HLDS -> LLDS) optimization options296503
Node: Low-level (LLDS -> LLDS) optimization options299087
Node: Output-level (LLDS -> C) optimization options301157
Node: Build system options302435
Node: Miscellaneous options309465
Node: Target code compilation options311188
Node: Link options315441
Node: Environment320787
Node: C compilers334208
Node: Foreign language interface335594
Node: Stand-alone Interfaces337150
Node: Index340991

End Tag Table
