The Mercury User's Guide
Version 0.11.0
Fergus Henderson
Thomas Conway
Zoltan Somogyi
Peter Ross
Tyson Dowd
Mark Brown
Introduction
File naming conventions
Using the Mercury compiler
Running programs
Using Mmake
Libraries
Writing libraries
Building libraries
Installing libraries
Using libraries
Debugging
Quick overview
GNU Emacs interface
Tracing of Mercury programs
Preparing a program for debugging
Tracing optimized code
Mercury debugger invocation
Mercury debugger concepts
I/O tabling
Debugger commands
Interactive query commands
Forward movement commands
Backward movement commands
Browsing commands
Breakpoint commands
I/O tabling commands
Parameter commands
Help commands
Experimental commands
Miscellaneous commands
Developer commands
Declarative debugging
Concepts
Oracle questions
Commands
Diagnoses
Using Aditi
Profiling
Profiling introduction
Building profiled applications
Creating profiles
Using mprof for time profiling
Using mprof for memory profiling
Using mdprof
Profiling and shared libraries
Invocation
Invocation overview
Warning options
Verbosity options
Output options
Auxiliary output options
Language semantics options
Termination analysis options
Compilation model options
Grades and grade components
Target options
LLDS back-end compilation model options
MLDS back-end compilation model option
Optional features 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
MLDS backend (MLDS -> MLDS) optimization options
Medium-level (HLDS -> LLDS) optimization options
Low-level (LLDS -> LLDS) optimization options
Output-level (LLDS -> C) optimization options
Aditi-RL optimization options
Build system options
Miscellaneous options
Target code compilation options
Link options
Environment variables
Using a different C compiler
Foreign language interface
Index
This document was generated using the
texi2html
translator version 1.31.