Rebuilding Moscow ML to Avoid the `Chr` Exception

With the standard Moscow ML (version 2.01), and large HOL theories it is possible to overload Moscow ML’s internal table of global constants. Luckily, Peter Sestoft provided us with a patch to make this table much bigger. Here are the instructions (slightly updated by Peter Homeier) on how to apply it.

Make a backup of your old mosml installation
Before unpacking the attached, make a build of mosml 2.01:
In mosml/src/ do
```
        make clean world
```
Unpack the attached:
In mosml/src/ do
```
        tar xvfz mosml-patch.tgz
```
Recompile the compiler to generate the new bytecode:
In mosml/src/compiler do
```
        touch Patch.sml Reloc.sml
        make all
```
Promote the compiler:
In mosml/src/compiler do
```
        mv mosmllnk mosmlcmp ..
```
(I believe mosmllnk is unchanged, but promote for good measure)
Generate new bytecode for libraries, compiler and lexer by recompiling:
In mosml/src/mosmllib do
```
        make clean all
```
In mosml/src/compiler do
```
        make clean all
```
In mosml/src/lex do
```
        make clean all
```

Recompile the runtime:

In mosml/src/runtime do

        touch expand.c fix_code.c interp.c
        make all

Promote the runtime, compiler and lexer:

In mosml/src/runtime do

        mv camlrunm ..

In mosml/src/compiler do

        mv mosmllnk mosmlcmp ..

In mosml/src/lex do

        mv mosmllex ..

Check that the top-level works:
In mosml/src do
```
        ./camlrunm compiler/mosmltop -stdlib mosmllib
```
and evaluate some expressions.

Rebuild everything to check that the system is stable:

In mosml/src do

        make clean world

Check that

        src/mosmlcmp = src/compiler/mosmlcmp
        src/mosmllnk = src/compiler/mosmllnk
        src/mosmllex = src/lex/mosmllex

Install
In mosml/src do
```
        make install
```
Check that HOL builds. (You will need to do a bin/build cleanAll to begin.)

Time-stamp: "Thursday, 16 July 2009; 00:47 UTC (Michael Norrish)"

Rebuilding Moscow ML to Avoid the Chr Exception

Rebuilding Moscow ML to Avoid the `Chr` Exception