. ../../testutils.sh

idris2 --cg racket Futures.idr -p contrib --exec main
echo "----"
idris2 --cg racket --directive lazy=weakMemo Futures.idr -p contrib --exec main

rm -r build
