The Mercury User's Guide
Fergus Henderson
Thomas Conway
Zoltan Somogyi
Peter Ross
Introduction
File naming conventions
Using the Mercury compiler
Running programs
Using Mmake
Libraries
Writing libraries
Building libraries
Installing libraries
Using libraries
Supporting multiple grades and architectures
Debugging
Quick overview
GNU Emacs interface
Tracing of Mercury programs
Preparing a program for debugging
Selecting trace events
Mercury debugger invocation
Mercury debugger concepts
Debugger commands
Interactive query commands
Forward movement commands
Backward movement commands
Browsing commands
Breakpoint commands
Parameter commands
Help commands
Experimental commands
Developer commands
Miscellaneous commands
Profiling
Introduction
Building profiled applications
Time profiling methods
Creating the profile
Displaying the profile
Analysis of results
Memory profiling
Invocation
Invocation overview
Warning options
Verbosity options
Output options
Auxiliary output options
Language semantics options
Termination analysis options
Compilation model options
Developer compilation model options
Code generation options
Code generation target options
Optimization options
Overall optimization options
High-level (HLDS -> HLDS) optimization options
Medium-level (HLDS -> LLDS) optimization options
Low-level (LLDS -> LLDS) optimization options
Output-level (LLDS -> C) optimization options
Object-level (C -> object code) optimization options
Miscellaneous options
Link options
Environment variables
Using a different C compiler
This document was generated using the
texi2html
translator version 1.31.