#!/bin/bash
../../compiler/kayac test023a.k -L ../../rts -L ../../stdlib
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:../../rts/
../../compiler/kayac test023b.k -L ../../rts -L ../../stdlib
./typeerr
rm -f typeerr typeerr.exe
../../compiler/kayac test023c.k -L ../../rts -L ../../stdlib
../../compiler/kayac test023d.k -L ../../rts -L ../../stdlib
../../compiler/kayac test023e.k -L ../../rts -L ../../stdlib
./typeerr
rm -f typeerr typeerr.exe
../../compiler/kayac test023f.k -L ../../rts -L ../../stdlib

rm -f typeerr typeerr.exe
