The Mercury User's Guide
Fergus Henderson
Thomas Conway
Zoltan Somogyi
Peter Ross
Introduction
File naming conventions
Using the Mercury compiler
Running programs
Using Prolog
Using NU-Prolog
Using SICStus Prolog
Hazards of using Prolog
Using Mmake
Libraries
Writing libraries
Building libraries
Installing libraries
Using libraries
Profiling
Introduction
Building profiled applications
Creating the profile
Displaying the profile
Analysis of results
Invocation
Invocation overview
Warning options
Verbosity options
Output options
Auxiliary output options
Language semantics options
Compilation model options
Code generation 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.