Internal M3 and SPIN Page

December 15, 1995

General information on Modula 3.
The public page.
M3
Using SRC Modula-3 compiler.
Pragmas
List of important pragmas
Building M3
Building the SRC Modula-3 compiler and SPIN libraries.
Some local coding conventions
Some of the rules we use for programming in Modula-3.
Language changes.
Language changes perpetrated in the name of OS's.
Bugs.
Bugs found in Modula-3 compiler and runtime.
Dynamic Linking in M3.
A primer on the workings of the dynamic linker.
Problems.
Problems with using Modula-3 in our environment.
Digital Signatures.
Signing Modula-3 binaries.
Using Modula-3 memory
Caveats on mixing traced and untraced memory.