Idris2/tests/idris2/basic048/run

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 00:31:57 +03:00
$1 --no-banner --no-color --console-width 0 "Module'.idr" < input
$1 --exec main --cg ${IDRIS2_TESTS_CG} "Module'.idr"

rm -rf build
Namespaces were shadowed in all standard codegens. This allows, for exmaple, to have apostrophes in module names. Test was added only for chez, however this should be viable for all targets with `:exec` implemented. 2020-11-25 21:10:26 +03:00			`$1 --no-banner --no-color --console-width 0 "Module'.idr" < input`
			`$1 --exec main --cg ${IDRIS2_TESTS_CG} "Module'.idr"`

			`rm -rf build`