There is a bug in the recently modified IncludeSVN macro. See, e.g. http://mlton.org/CallingFromSMLToC The regex match on line 4 of IncludeSVN.py is failing.