I was running the fssrgen.fsx script on Mono using the fsi.exe from Fsharp.Compiler.Tools.

Roughly:

 mono fsi.exe fssrgen.fsx ... FSIstrings.txt .... 

These two commits shows some adjustments I needed to make to get the script to run. Specifically before these changes the execution crashed when generic code was allocating an array of type HoleType (which is one of the type being defined in the script).

dsyme/fsharp@a8c99b2#diff-388e075728a90bf5b840e64bc2ae9d39

dsyme/fsharp@8e81fd3#diff-388e075728a90bf5b840e64bc2ae9d39

This looks like a problem in type realization and intialization. There are probably workarounds along the lines of "put the type in its own namespace" or "put the type in its own file" or something. But it should just work.

The workaround I used was "simplify the script so it doesn't define so many types".