My reading of the bin/regression script is that when a regression program fails to compile, the script should print: "compilation of FOO failed with -type-check true" and then more on to the next regression program. However, for me, it appears to simply abort the regression script.