@ECHO OFF
rem scheme-typed.bat -- Invoke Chez Scheme with the type checker
rem BUGS: this doesn't properly include test-homework.tst!
rem
rem Change SCHEMEB to the directory where Chez Scheme is.
rem Use backslashes for SCHEMEB
set SCHEMEB=d:\Program Files\Chez Scheme\csv7.0c
rem
rem Change the PLTCOLLECTS variable to the directory where you keep your 342 files
rem Use forward slashes for PLTCOLLECTS!
set PLTCOLLECTS=c:/cygwin/usr/local/PLT/collects
rem
"%SCHEMEB%\i3nt\petite.exe" "%PLTCOLLECTS%/typedscm/chez/localize.scm" "%PLTCOLLECTS%/typedscm/chez/translate-module-syntax.scm" "%PLTCOLLECTS%/typedscm/chez/standardize.scm" "%PLTCOLLECTS%/lib342/test-homework.tst" "%PLTCOLLECTS%/typedscm/chez/tc-eval.scm" %1 %2 %3 %4 %5 %6 %7 %8 %9