Idris2/tests/codegen/builtin001/run

rm -rf build
rm Main.cases

$1 --no-color --console-width 0 --no-banner --dumpcases Main.cases -o Main Main.idr

cat Main.cases | sed -E "s/[0-9]+}/N}/g" | sed -E "s/[0-9]+:[0-9]+/L:C/g" | grep 'Main.plus\|Main.bah'
[ cleanup ] `Compiler/` modules (#2694) cleanup(Compiler/) cleanup some messy/unclear code Also use primitives directly where possible, instead of idris's wrappers Fix tests 2022-10-06 11:17:38 +03:00			`rm -rf build`
			`rm Main.cases`
Add Agda-like builtins (#1253) Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org> 2021-04-22 15:08:32 +03:00
[ cleanup ] `Compiler/` modules (#2694) cleanup(Compiler/) cleanup some messy/unclear code Also use primitives directly where possible, instead of idris's wrappers Fix tests 2022-10-06 11:17:38 +03:00			`$1 --no-color --console-width 0 --no-banner --dumpcases Main.cases -o Main Main.idr`
Add Agda-like builtins (#1253) Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org> 2021-04-22 15:08:32 +03:00
[ cleanup ] `Compiler/` modules (#2694) cleanup(Compiler/) cleanup some messy/unclear code Also use primitives directly where possible, instead of idris's wrappers Fix tests 2022-10-06 11:17:38 +03:00			`cat Main.cases \| sed -E "s/[0-9]+}/N}/g" \| sed -E "s/[0-9]+:[0-9]+/L:C/g" \| grep 'Main.plus\\|Main.bah'`