. ../../testutils.sh

# @getEnv@ and @setEnv@ use primitive functions with definitions for both
# C (supported by most backends) and Node.
idris2 --cg chez -o test Test.idr
HELLO=hi ./build/exec/test

idris2 --cg node -o test.js Test.idr
HELLO=hi node ./build/exec/test.js
