This is mercury_user_guide.info, produced by makeinfo version 4.8 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 14.01.1.

   Copyright (C) 1995-2014 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: 953
mercury_user_guide.info-2: 300405

Tag Table:
(Indirect)
Node: Top953
Node: Introduction2152
Node: Filenames2835
Node: Using mmc6926
Node: Running12342
Node: Using Mmake13800
Ref: Using Mmake-Footnote-130221
Node: Libraries30333
Node: Writing libraries30925
Node: Building with mmc --make32044
Node: Building and installing libraries with mmc --make32397
Node: Using installed libraries with mmc --make34042
Node: Using non-installed libraries with mmc --make35032
Node: Building with Mmake36419
Node: Building libraries with Mmake36726
Node: Installing libraries with Mmake40741
Node: Using libraries with Mmake42750
Node: Libraries and the Java grade44337
Node: Libraries and the Erlang grade45307
Node: Debugging45857
Node: Quick overview46296
Node: GNU Emacs interface49672
Node: Tracing of Mercury programs54341
Node: Preparing a program for debugging61670
Node: Tracing optimized code68826
Node: Mercury debugger invocation69626
Node: Mercury debugger concepts73331
Node: User defined events82284
Node: I/O tabling86636
Node: Debugger commands89855
Node: Interactive query commands91519
Node: Forward movement commands94688
Node: Backward movement commands102017
Node: Browsing commands105214
Node: Breakpoint commands120025
Node: I/O tabling commands136202
Node: Parameter commands136682
Node: Help commands148257
Node: Declarative debugging mdb commands149546
Node: Miscellaneous commands153465
Node: Experimental commands155191
Node: Developer commands161414
Node: Declarative debugging170460
Node: Declarative debugging overview171243
Node: Declarative debugging concepts171963
Node: Oracle questions174494
Node: Declarative debugging commands177744
Node: Diagnoses184605
Node: Search Modes188041
Node: Improving the search190751
Node: Trace counts196314
Node: Generating trace counts197101
Node: Combining trace counts198921
Node: Slicing200412
Node: Dicing203490
Node: Coverage testing207980
Node: Profiling209903
Node: Profiling introduction211036
Node: Building profiled applications212657
Node: Creating profiles215050
Node: Using mprof for time profiling218086
Node: Using mprof for profiling memory allocation226958
Node: Using mprof for profiling memory retention228488
Node: Using mdprof231163
Node: Using threadscope235820
Node: Profiling and shared libraries236629
Node: Invocation237665
Node: Invocation overview238370
Node: Warning options239368
Node: Verbosity options245682
Node: Output options249034
Node: Auxiliary output options254948
Node: Language semantics options262457
Node: Termination analysis options264106
Node: Compilation model options266703
Node: Grades and grade components268124
Node: Target options272533
Node: LLDS back-end compilation model options274110
Node: MLDS back-end compilation model options275941
Node: Optional features compilation model options276652
Node: Developer compilation model options282738
Node: Code generation options284768
Node: Code generation target options286927
Node: Optimization options288347
Node: Overall optimization options288898
Node: High-level (HLDS -> HLDS) optimization options292381
Node: MLDS backend (MLDS -> MLDS) optimization options299191
Node: Erlang (HLDS -> ELDS) optimization options300405
Node: Medium-level (HLDS -> LLDS) optimization options301020
Node: Low-level (LLDS -> LLDS) optimization options303601
Node: Output-level (LLDS -> C) optimization options305677
Node: Target code compilation options306955
Node: Link options311208
Node: Build system options317535
Node: Miscellaneous options324932
Node: Environment326671
Node: C compilers340092
Node: Foreign language interface341478
Node: Stand-alone Interfaces343003
Node: Index346984

End Tag Table
