Directory listing for idris-0.9.18 candidate source tarball

idris-0.9.18/test/

Makefile
runtest.pl
basic001/
- basic001a.idr
- expected
- reg005.idr
- run
basic002/
- expected
- run
- test006.idr
basic003/
- expected
- run
- test027.idr
basic004/
- expected
- run
- test016.idr
basic005/
- expected
- run
- test019.lidr
basic006/
- expected
- run
- test020.idr
- test020a.idr
basic007/
- expected
- run
- test033.idr
basic008/
- expected
- run
- test036.idr
basic009/
- A.idr
- Faulty.idr
- Main.idr
- Multiple.idr
- expected
- run
- B/
  - C.idr
basic010/
- Main.idr
- expected
- run
basic011/
- basic011.idr
- expected
- run
basic012/
- basic012.idr
- expected
- run
basic013/
- basic013.idr
- expected
- run
bignum001/
- bignum001.idr
- expected
- run
bignum002/
- bignum002.idr
- expected
- run
classes001/
- ClassName.idr
- expected
- input
- run
corecords001/
- corecords001.idr
- expected
- run
corecords002/
- corecords002.idr
- expected
- run
delab001/
- delab001.idr
- expected
- input
- run
docs001/
- docs001.idr
- expected
- input
- run
docs002/
- docs002.idr
- expected
- input
- run
docs003/
- docs003.idr
- expected
- input
- run
dsl001/
- expected
- run
- test001.idr
dsl002/
- Resimp.idr
- expected
- run
- test
- test014.idr
dsl003/
- DSLPi.idr
- expected
- run
effects001/
- expected
- run
- test021.idr
- test021a.idr
- testFile
effects002/
- expected
- run
- test025.idr
effects003/
- VectMissing.idr
- expected
- hangman.idr
- input
- run
effects004/
- effects004.idr
- expected
- input
- run
error001/
- expected
- run
- test002.idr
error002/
- expected
- run
- test031.idr
error003/
- ErrorReflection.idr
- expected
- run
error004/
- FunErrTest.idr
- expected
- run
error005/
- error005.idr
- expected
- run
ffi001/
- expected
- run
- test022.idr
ffi002/
- expected
- run
- test023.idr
ffi003/
- expected
- input
- run
- test024.idr
ffi004/
- expected
- run
- test026.idr
- theOtherType
- theType
ffi005/
- Postulate.idr
- expected
- run
ffi006/
- expected
- ffi006.c
- ffi006.idr
- run
folding001/
- expected
- folding001.idr
- run
idrisdoc001/
- TestEmpty.idr
- TestPrivate.idr
- expected
- run
- test_empty.ipkg
idrisdoc002/
- TestFunctions.idr
- expected
- run
- test_functions.ipkg
idrisdoc003/
- TestDatatypes.idr
- expected
- run
- test_datatypes.ipkg
idrisdoc004/
- TestTypeclasses.idr
- expected
- run
- test_typeclasses.ipkg
idrisdoc005/
- TestTracing.idr
- expected
- run
- test_tracing.ipkg
idrisdoc006/
- B.idr
- expected
- package_a.ipkg
- package_b.ipkg
- run
- A/
  - fully/
    - Qualified/
      - NAME.idr
idrisdoc007/
- A.idr
- expected
- package.ipkg
- run
idrisdoc008/
- Abstract.idr
- Visible.idr
- expected
- run
- visibility.ipkg
idrisdoc009/
- Test.idr
- expected
- input
- run
interactive001/
- expected
- input
- run
- test032.idr
interactive002/
- expected
- input
- interactive002.idr
- run
interactive003/
- expected
- input
- interactive003.idr
- run
interactive004/
- expected
- input
- interactive004.idr
- run
interactive005/
- expected
- input
- interactive005.idr
- run
interactive006/
- expected
- input
- interactive006.idr
- run
interactive007/
- expected
- input
- run
io001/
- expected
- run
- test004.idr
io002/
- expected
- run
- test008.idr
io003/
- expected
- run
- test018.idr
- test018a.idr
literate001/
- Lit.lidr
- expected
- run
- test003.lidr
- test003a.lidr
meta001/
- Finite.idr
- expected
- run
meta002/
- Tacs.idr
- expected
- run
primitives001/
- expected
- run
- test005.idr
primitives002/
- expected
- run
primitives003/
- expected
- run
- test038.idr
proof001/
- expected
- run
- test029.idr
proof002/
- Reflect.idr
- expected
- run
- test030.idr
- test030a.idr
proof003/
- Parity.idr
- expected
- run
- test015.idr
proof004/
- expected
- run
- test035.idr
proof005/
- DefaultArgSubstitutionSuccess.idr
- expected
- run
proof006/
- DefaultArgSubstitutionSyntax.idr
- expected
- run
proof007/
- DefaultArgUnknownName.idr
- expected
- run
proof008/
- ClaimAndUnfocus.idr
- expected
- run
proof009/
- expected
- input
- proof009.idr
- run
proof010/
- expected
- proof010.idr
- run
quasiquote001/
- QuasiquoteBasics.idr
- expected
- run
quasiquote002/
- GoalQQuote.idr
- expected
- run
quasiquote003/
- NoInfer.idr
- expected
- run
quasiquote004/
- Quasiquote004.idr
- expected
- run
quasiquote005/
- Quasiquote005.idr
- expected
- run
quasiquote006/
- expected
- quasiquote006.idr
- run
records001/
- expected
- run
- test011.idr
records002/
- expected
- record002.idr
- run
records003/
- expected
- records003.idr
- run
reg001/
- expected
- reg001.idr
- run
reg002/
- expected
- reg012.idr
- run
reg003/
- expected
- reg003.idr
- reg003a.idr
- run
reg004/
- expected
- reg004.idr
- run
reg005/
- expected
- reg005.idr
- run
reg006/
- expected
- reg006.idr
- run
reg007/
- A.lidr
- expected
- reg007.lidr
- run
reg009/
- expected
- reg009.lidr
- run
reg010/
- expected
- reg010.idr
- run
reg011/
- expected
- reg011.idr
- run
reg012/
- expected
- reg012.lidr
- run
reg013/
- expected
- reg013.idr
- run
reg014/
- expected
- reg014.idr
- run
reg015/
- expected
- reg015.idr
- run
reg016/
- expected
- reg016.idr
- run
reg017/
- expected
- reg017.idr
- run
reg018/
- expected
- reg018a.idr
- reg018b.idr
- reg018c.idr
- reg018d.idr
- run
reg019/
- expected
- reg019.idr
- run
reg020/
- expected
- reg020.idr
- run
reg021/
- expected
- reg021.idr
- run
reg022/
- expected
- reg022.idr
- run
reg023/
- expected
- reg023.idr
- run
reg024/
- expected
- reg024.idr
- run
reg025/
- expected
- reg025.idr
- run
reg026/
- expected
- reg026.idr
- run
reg027/
- expected
- reg027.idr
- reg027a.idr
- run
reg028/
- expected
- reg028.idr
- reg028a.idr
- run
reg029/
- expected
- reg029.idr
- run
reg030/
- expected
- reg030.idr
- run
reg031/
- expected
- reg031.idr
- run
reg032/
- expected
- run
- test028.idr
reg033/
- expected
- reg033.idr
- run
reg034/
- expected
- reg034.idr
- run
reg035/
- expected
- reg035.idr
- reg035a.lidr
- reg035b.idr
- run
reg036/
- expected
- reg036.idr
- run
reg037/
- expected
- reg037.idr
- run
reg038/
- expected
- reg038.idr
- run
reg039/
- expected
- reg039.idr
- run
reg040/
- expected
- reg040.idr
- run
reg041/
- expected
- ott.idr
- run
- showu.idr
reg042/
- expected
- reg042.idr
- run
reg044/
- expected
- reg044.idr
- run
reg045/
- expected
- reg045.idr
- run
reg046/
- expected
- reg046.idr
- run
reg047/
- expected
- reg047.idr
- reg047a.idr
- run
reg048/
- expected
- reg048.idr
- run
reg049/
- expected
- reg049.idr
- run
reg050/
- badbangop.idr
- baddoublebang.idr
- expected
- run
- working.idr
reg051-disabled/
- expected
- reg051.idr
- run
reg052/
- expected
- reg052.idr
- run
reg053/
- expected
- four.idr
- run
reg054/
- expected
- reg054.idr
- run
reg055/
- expected
- reg055.idr
- reg055a.idr
- run
reg056/
- expected
- reg056.idr
- run
reg057/
- expected
- reg057.idr
- run
reg058/
- expected
- implicits.idr
- implicits2.idr
- run
reg059/
- expected
- reg059.idr
- run
reg060/
- expected
- reg060.idr
- run
reg061/
- Capture.idr
- expected
- run
reg062/
- expected
- reg062.idr
- run
reg063/
- Cmp.idr
- expected
- run
reg064/
- expected
- reg064.idr
- reg064a.idr
- run
sourceLocation001/
- SourceLoc.idr
- expected
- run
sugar001/
- expected
- run
- test007.idr
sugar002/
- expected
- run
- test009.idr
sugar003/
- expected
- run
- test013.idr
sugar004/
- expected
- run
- sugar004.idr
sugar005/
- As.idr
- expected
- run
tactics001/
- Tactics.idr
- expected
- run
totality001/
- expected
- run
- test010.idr
- test010a.idr
- test010b.idr
totality002/
- expected
- run
- test017.idr
- test017a.idr
- test017b.idr
totality003/
- expected
- run
- totality003.idr
- totality003a.idr
totality004/
- expected
- run
- totality004.idr
- totality004a.idr
totality005/
- expected
- run
- totality005.idr
totality006/
- expected
- run
- totality006.idr
- totality006a.idr
- totality006b.idr
totality007/
- expected
- run
- totality.ipkg
- src/
  - Totality.idr
totality008/
- expected
- run
- totality008.idr
totality009/
- TestLambdaImpossible.idr
- TestLambdaPossible.idr
- expected
- run
tutorial001/
- expected
- run
- tutorial001.idr
tutorial002/
- expected
- run
- tutorial002.idr
tutorial003/
- expected
- run
- tutorial003.idr
tutorial004/
- expected
- run
- tutorial004.idr
tutorial005/
- expected
- run
- tutorial005.idr
tutorial006/
- expected
- run
- tutorial006a.idr
- tutorial006b.idr
unique001/
- expected
- run
- unique001.idr
- unique001a.idr
- unique001b.idr
- unique001c.idr
- unique001d.idr
- unique001e.idr
unique002/
- expected
- run
- unique002.idr
- unique002a.idr
unique003/
- expected
- run
- unique003.idr