windows で mobilityworkbench を使う

諸事情からwindowsでmobility workbenchを動かさないといけなくなった．smlnjのwindowsバイナリをからサイトしてきて，READMEの通りにやったらうまくいかなかったのでメモ．

1. まずTextIO.inputLineの戻り値がoptionな感じになってるのでそれを全部修正(case文をゴリゴリ外す)．
2. windowsはディレクトリの区切りが\(エスケープ)なので，生成されたloadit.smlの中の文字列中の\を全部\\にする．
3. mwb.shが生成されるので1行目を消してバッチファイルにする．

ほかにもなんかやったかもしれないけど忘れた．取り急ぎ．