├── .github └── workflows │ ├── ci-macos.yml │ └── ci-ubuntu.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── config.mk ├── idris2-lua.ipkg ├── src ├── LuaAst.idr ├── LuaCommon.idr ├── LuaGen.idr └── OrderDefs.idr ├── support └── lua │ ├── idris2-lua-scm-0.rockspec │ ├── idris2-lua.lua │ └── lib.c └── tests ├── Main.idr ├── Makefile ├── chez ├── chez001 │ ├── Total.idr │ ├── expected │ ├── input │ └── run ├── chez002 │ ├── Pythag.idr │ ├── expected │ ├── input │ └── run ├── chez003 │ ├── IORef.idr │ ├── expected │ ├── input │ └── run ├── chez004 │ ├── Buffer.idr │ ├── expected │ ├── input │ └── run ├── chez005 │ ├── Filter.idr │ ├── expected │ ├── input │ └── run ├── chez006 │ ├── TypeCase.idr │ ├── TypeCase2.idr │ ├── expected │ ├── input │ └── run ├── chez007 │ ├── TypeCase.idr │ ├── expected │ ├── input │ └── run ├── chez008 │ ├── Nat.idr │ ├── expected │ ├── input │ └── run ├── chez009 │ ├── expected │ ├── input │ ├── run │ └── uni.idr ├── chez010 │ ├── .gitignore │ ├── CB.idr │ ├── Makefile │ ├── cblib.c │ ├── expected │ ├── input │ └── run ├── chez011 │ ├── bangs.idr │ ├── expected │ ├── input │ └── run ├── chez012 │ ├── array.idr │ ├── expected │ ├── input │ └── run ├── chez013 │ ├── .gitignore │ ├── Makefile │ ├── Struct.idr │ ├── expected │ ├── input │ ├── run │ ├── struct.c │ └── struct.h ├── chez014 │ ├── Echo.idr │ ├── expected │ ├── input │ └── run ├── chez015 │ ├── Numbers.idr │ ├── expected │ ├── input │ └── run ├── chez016 │ ├── expected │ ├── folder with spaces │ │ └── Main.idr │ ├── input │ └── run ├── chez017 │ ├── .gitignore │ ├── dir.idr │ ├── expected.in │ ├── gen_expected.sh │ ├── input │ └── run ├── chez018 │ ├── File.idr │ ├── expected │ ├── input │ ├── run │ └── test.txt ├── chez019 │ ├── expected │ ├── input │ ├── partial.idr │ └── run ├── chez020 │ ├── Popen.idr │ ├── expected │ ├── input │ └── run ├── chez021 │ ├── Bits.idr │ ├── expected │ ├── input │ └── run ├── chez022 │ ├── Makefile │ ├── expected │ ├── input │ ├── mkalloc.c │ ├── mkalloc.d │ ├── run │ └── usealloc.idr ├── chez023 │ ├── File.idr │ ├── expected │ ├── input │ └── run ├── chez024 │ ├── Envy.idr │ ├── expected │ ├── input │ └── run ├── chez025 │ ├── expected │ ├── input │ ├── run │ └── runst.idr ├── chez026 │ ├── Dummy.idr │ ├── dummy.ipkg │ ├── expected │ └── run ├── chez027 │ ├── StringParser.idr │ ├── expected │ ├── input │ └── run ├── chez028 │ ├── ExpressionParser.idr │ ├── expected │ ├── input │ └── run ├── chez029 │ ├── BitCasts.idr │ ├── expected │ ├── input │ └── run └── reg001 │ ├── expected │ ├── numbers.idr │ └── run ├── lua ├── lua001 │ ├── Foreign.idr │ ├── expected │ ├── extra.lua │ ├── input │ └── run ├── lua002 │ ├── Foreign.idr │ ├── expected │ ├── input │ └── run ├── lua003 │ ├── Test.idr │ ├── expected │ ├── input │ └── run ├── lua004 │ ├── Test.idr │ ├── data.txt │ ├── data4.txt │ ├── expected │ ├── input │ └── run └── lua005 │ ├── Test.idr │ ├── expected │ ├── input │ └── run └── tests.ipkg /.github/workflows/ci-macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/.github/workflows/ci-macos.yml -------------------------------------------------------------------------------- /.github/workflows/ci-ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/.github/workflows/ci-ubuntu.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/README.md -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/config.mk -------------------------------------------------------------------------------- /idris2-lua.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/idris2-lua.ipkg -------------------------------------------------------------------------------- /src/LuaAst.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/src/LuaAst.idr -------------------------------------------------------------------------------- /src/LuaCommon.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/src/LuaCommon.idr -------------------------------------------------------------------------------- /src/LuaGen.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/src/LuaGen.idr -------------------------------------------------------------------------------- /src/OrderDefs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/src/OrderDefs.idr -------------------------------------------------------------------------------- /support/lua/idris2-lua-scm-0.rockspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/support/lua/idris2-lua-scm-0.rockspec -------------------------------------------------------------------------------- /support/lua/idris2-lua.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/support/lua/idris2-lua.lua -------------------------------------------------------------------------------- /support/lua/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/support/lua/lib.c -------------------------------------------------------------------------------- /tests/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/Main.idr -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/chez/chez001/Total.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez001/Total.idr -------------------------------------------------------------------------------- /tests/chez/chez001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez001/expected -------------------------------------------------------------------------------- /tests/chez/chez001/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez001/run -------------------------------------------------------------------------------- /tests/chez/chez002/Pythag.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez002/Pythag.idr -------------------------------------------------------------------------------- /tests/chez/chez002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez002/expected -------------------------------------------------------------------------------- /tests/chez/chez002/input: -------------------------------------------------------------------------------- 1 | :exec printLn (pythag 50) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez002/run -------------------------------------------------------------------------------- /tests/chez/chez003/IORef.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez003/IORef.idr -------------------------------------------------------------------------------- /tests/chez/chez003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez003/expected -------------------------------------------------------------------------------- /tests/chez/chez003/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez003/run -------------------------------------------------------------------------------- /tests/chez/chez004/Buffer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez004/Buffer.idr -------------------------------------------------------------------------------- /tests/chez/chez004/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez004/expected -------------------------------------------------------------------------------- /tests/chez/chez004/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez004/run -------------------------------------------------------------------------------- /tests/chez/chez005/Filter.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez005/Filter.idr -------------------------------------------------------------------------------- /tests/chez/chez005/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez005/expected -------------------------------------------------------------------------------- /tests/chez/chez005/input: -------------------------------------------------------------------------------- 1 | :exec printLn (filter even [S Z,2,3,4,5,6]) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez005/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez005/run -------------------------------------------------------------------------------- /tests/chez/chez006/TypeCase.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez006/TypeCase.idr -------------------------------------------------------------------------------- /tests/chez/chez006/TypeCase2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez006/TypeCase2.idr -------------------------------------------------------------------------------- /tests/chez/chez006/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez006/expected -------------------------------------------------------------------------------- /tests/chez/chez006/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez006/input -------------------------------------------------------------------------------- /tests/chez/chez006/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez006/run -------------------------------------------------------------------------------- /tests/chez/chez007/TypeCase.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez007/TypeCase.idr -------------------------------------------------------------------------------- /tests/chez/chez007/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez007/expected -------------------------------------------------------------------------------- /tests/chez/chez007/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez007/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez007/run -------------------------------------------------------------------------------- /tests/chez/chez008/Nat.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez008/Nat.idr -------------------------------------------------------------------------------- /tests/chez/chez008/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez008/expected -------------------------------------------------------------------------------- /tests/chez/chez008/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez008/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez008/run -------------------------------------------------------------------------------- /tests/chez/chez009/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez009/expected -------------------------------------------------------------------------------- /tests/chez/chez009/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez009/run -------------------------------------------------------------------------------- /tests/chez/chez009/uni.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez009/uni.idr -------------------------------------------------------------------------------- /tests/chez/chez010/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/.gitignore -------------------------------------------------------------------------------- /tests/chez/chez010/CB.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/CB.idr -------------------------------------------------------------------------------- /tests/chez/chez010/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/Makefile -------------------------------------------------------------------------------- /tests/chez/chez010/cblib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/cblib.c -------------------------------------------------------------------------------- /tests/chez/chez010/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/expected -------------------------------------------------------------------------------- /tests/chez/chez010/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez010/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez010/run -------------------------------------------------------------------------------- /tests/chez/chez011/bangs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez011/bangs.idr -------------------------------------------------------------------------------- /tests/chez/chez011/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez011/expected -------------------------------------------------------------------------------- /tests/chez/chez011/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez011/input -------------------------------------------------------------------------------- /tests/chez/chez011/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez011/run -------------------------------------------------------------------------------- /tests/chez/chez012/array.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez012/array.idr -------------------------------------------------------------------------------- /tests/chez/chez012/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez012/expected -------------------------------------------------------------------------------- /tests/chez/chez012/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez012/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez012/run -------------------------------------------------------------------------------- /tests/chez/chez013/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/.gitignore -------------------------------------------------------------------------------- /tests/chez/chez013/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/Makefile -------------------------------------------------------------------------------- /tests/chez/chez013/Struct.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/Struct.idr -------------------------------------------------------------------------------- /tests/chez/chez013/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/expected -------------------------------------------------------------------------------- /tests/chez/chez013/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez013/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/run -------------------------------------------------------------------------------- /tests/chez/chez013/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/struct.c -------------------------------------------------------------------------------- /tests/chez/chez013/struct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez013/struct.h -------------------------------------------------------------------------------- /tests/chez/chez014/Echo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez014/Echo.idr -------------------------------------------------------------------------------- /tests/chez/chez014/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez014/expected -------------------------------------------------------------------------------- /tests/chez/chez014/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez014/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez014/run -------------------------------------------------------------------------------- /tests/chez/chez015/Numbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez015/Numbers.idr -------------------------------------------------------------------------------- /tests/chez/chez015/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez015/expected -------------------------------------------------------------------------------- /tests/chez/chez015/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez015/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez015/run -------------------------------------------------------------------------------- /tests/chez/chez016/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez016/expected -------------------------------------------------------------------------------- /tests/chez/chez016/folder with spaces/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez016/folder with spaces/Main.idr -------------------------------------------------------------------------------- /tests/chez/chez016/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez016/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez016/run -------------------------------------------------------------------------------- /tests/chez/chez017/.gitignore: -------------------------------------------------------------------------------- 1 | /expected 2 | 3 | -------------------------------------------------------------------------------- /tests/chez/chez017/dir.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez017/dir.idr -------------------------------------------------------------------------------- /tests/chez/chez017/expected.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez017/expected.in -------------------------------------------------------------------------------- /tests/chez/chez017/gen_expected.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez017/gen_expected.sh -------------------------------------------------------------------------------- /tests/chez/chez017/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez017/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez017/run -------------------------------------------------------------------------------- /tests/chez/chez018/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez018/File.idr -------------------------------------------------------------------------------- /tests/chez/chez018/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez018/expected -------------------------------------------------------------------------------- /tests/chez/chez018/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez018/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez018/run -------------------------------------------------------------------------------- /tests/chez/chez018/test.txt: -------------------------------------------------------------------------------- 1 | test test 2 | unfinished line -------------------------------------------------------------------------------- /tests/chez/chez019/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez019/expected -------------------------------------------------------------------------------- /tests/chez/chez019/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez019/input -------------------------------------------------------------------------------- /tests/chez/chez019/partial.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez019/partial.idr -------------------------------------------------------------------------------- /tests/chez/chez019/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez019/run -------------------------------------------------------------------------------- /tests/chez/chez020/Popen.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez020/Popen.idr -------------------------------------------------------------------------------- /tests/chez/chez020/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez020/expected -------------------------------------------------------------------------------- /tests/chez/chez020/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez020/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez020/run -------------------------------------------------------------------------------- /tests/chez/chez021/Bits.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez021/Bits.idr -------------------------------------------------------------------------------- /tests/chez/chez021/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez021/expected -------------------------------------------------------------------------------- /tests/chez/chez021/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez021/input -------------------------------------------------------------------------------- /tests/chez/chez021/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez021/run -------------------------------------------------------------------------------- /tests/chez/chez022/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/Makefile -------------------------------------------------------------------------------- /tests/chez/chez022/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/expected -------------------------------------------------------------------------------- /tests/chez/chez022/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez022/mkalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/mkalloc.c -------------------------------------------------------------------------------- /tests/chez/chez022/mkalloc.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/mkalloc.d -------------------------------------------------------------------------------- /tests/chez/chez022/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/run -------------------------------------------------------------------------------- /tests/chez/chez022/usealloc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez022/usealloc.idr -------------------------------------------------------------------------------- /tests/chez/chez023/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez023/File.idr -------------------------------------------------------------------------------- /tests/chez/chez023/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez023/expected -------------------------------------------------------------------------------- /tests/chez/chez023/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez023/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez023/run -------------------------------------------------------------------------------- /tests/chez/chez024/Envy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez024/Envy.idr -------------------------------------------------------------------------------- /tests/chez/chez024/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez024/expected -------------------------------------------------------------------------------- /tests/chez/chez024/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez024/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez024/run -------------------------------------------------------------------------------- /tests/chez/chez025/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez025/expected -------------------------------------------------------------------------------- /tests/chez/chez025/input: -------------------------------------------------------------------------------- 1 | :exec printLn (stsum [1..1000]) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez025/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez025/run -------------------------------------------------------------------------------- /tests/chez/chez025/runst.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez025/runst.idr -------------------------------------------------------------------------------- /tests/chez/chez026/Dummy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez026/Dummy.idr -------------------------------------------------------------------------------- /tests/chez/chez026/dummy.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez026/dummy.ipkg -------------------------------------------------------------------------------- /tests/chez/chez026/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez026/expected -------------------------------------------------------------------------------- /tests/chez/chez026/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez026/run -------------------------------------------------------------------------------- /tests/chez/chez027/StringParser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez027/StringParser.idr -------------------------------------------------------------------------------- /tests/chez/chez027/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez027/expected -------------------------------------------------------------------------------- /tests/chez/chez027/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez027/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez027/run -------------------------------------------------------------------------------- /tests/chez/chez028/ExpressionParser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez028/ExpressionParser.idr -------------------------------------------------------------------------------- /tests/chez/chez028/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez028/expected -------------------------------------------------------------------------------- /tests/chez/chez028/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez028/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez028/run -------------------------------------------------------------------------------- /tests/chez/chez029/BitCasts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez029/BitCasts.idr -------------------------------------------------------------------------------- /tests/chez/chez029/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez029/expected -------------------------------------------------------------------------------- /tests/chez/chez029/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez029/input -------------------------------------------------------------------------------- /tests/chez/chez029/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/chez029/run -------------------------------------------------------------------------------- /tests/chez/reg001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/reg001/expected -------------------------------------------------------------------------------- /tests/chez/reg001/numbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/reg001/numbers.idr -------------------------------------------------------------------------------- /tests/chez/reg001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/chez/reg001/run -------------------------------------------------------------------------------- /tests/lua/lua001/Foreign.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua001/Foreign.idr -------------------------------------------------------------------------------- /tests/lua/lua001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua001/expected -------------------------------------------------------------------------------- /tests/lua/lua001/extra.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua001/extra.lua -------------------------------------------------------------------------------- /tests/lua/lua001/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/lua/lua001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua001/run -------------------------------------------------------------------------------- /tests/lua/lua002/Foreign.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua002/Foreign.idr -------------------------------------------------------------------------------- /tests/lua/lua002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua002/expected -------------------------------------------------------------------------------- /tests/lua/lua002/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/lua/lua002/run: -------------------------------------------------------------------------------- 1 | $1 --no-banner -p contrib Foreign.idr < input 2 | 3 | rm -rf build 4 | -------------------------------------------------------------------------------- /tests/lua/lua003/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua003/Test.idr -------------------------------------------------------------------------------- /tests/lua/lua003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua003/expected -------------------------------------------------------------------------------- /tests/lua/lua003/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/lua/lua003/run: -------------------------------------------------------------------------------- 1 | $1 --no-banner Test.idr < input 2 | rm -rf build 3 | -------------------------------------------------------------------------------- /tests/lua/lua004/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua004/Test.idr -------------------------------------------------------------------------------- /tests/lua/lua004/data.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua004/data.txt -------------------------------------------------------------------------------- /tests/lua/lua004/data4.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/lua/lua004/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua004/expected -------------------------------------------------------------------------------- /tests/lua/lua004/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/lua/lua004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua004/run -------------------------------------------------------------------------------- /tests/lua/lua005/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua005/Test.idr -------------------------------------------------------------------------------- /tests/lua/lua005/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/lua/lua005/expected -------------------------------------------------------------------------------- /tests/lua/lua005/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/lua/lua005/run: -------------------------------------------------------------------------------- 1 | $1 --no-banner Test.idr < input 2 | rm -rf build 3 | -------------------------------------------------------------------------------- /tests/tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Lua/HEAD/tests/tests.ipkg --------------------------------------------------------------------------------