Directory listing for idris-0.12.3 candidate source tarball

idris-0.12.3/test/

README.md
TestData.hs
TestRun.hs
mktest.pl
base001/
- Makefile
- base001.idr
- base001.ipkg
- exit1.c
- expected
- run
- sys.c
- sys.h
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
- basic012a.idr
- expected
- run
basic013/
- basic013.idr
- expected
- run
basic014/
- basic014.idr
- expected
- run
basic015/
- basic015.idr
- expected
- run
basic016/
- CycleA.idr
- CycleB.idr
- CycleC.idr
- expected
- run
basic017/
- basic017.idr
- basic017a.idr
- expected
- run
basic018/
- basic018.idr
- expected
- run
bignum001/
- bignum001.idr
- expected
- run
bignum002/
- bignum002.idr
- expected
- run
bounded001/
- bounded001.idr
- expected
- run
corecords001/
- corecords001.idr
- expected
- run
corecords002/
- corecords002.idr
- expected
- run
delab001/
- delab001.idr
- expected
- input
- run
directives001/
- directives001.idr
- expected
- run
directives002/
- directives002.idr
- expected
- run
disambig002/
- disambig002.idr
- expected
- run
docs001/
- docs001.idr
- expected
- input
- run
docs002/
- docs002.idr
- expected
- input
- run
docs003/
- docs003.idr
- expected
- input
- run
docs004/
- docs004.idr
- expected
- input
- run
docs005/
- docs005.idr
- expected
- input
- run
dsl001/
- expected
- input
- run
- test001.idr
dsl002/
- Resimp.idr
- expected
- run
- test
- test014.idr
dsl003/
- DSLPi.idr
- expected
- run
dsl004/
- Door0.idr
- Door1.idr
- Door2.idr
- Door3.idr
- IOu.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
effects005/
- categoryLogger.idr
- defaultLogger.idr
- expected
- run
error001/
- expected
- expected_ttquot
- run
- test002.idr
error002/
- expected
- run
- test031.idr
error003/
- ErrorReflection.idr
- expected
- run
error004/
- FunErrTest.idr
- expected
- run
error005/
- error005.idr
- expected
- run
error006/
- WithPatsNoWith.idr
- expected
- run
error007/
- error007.idr
- expected
- run
error008/
- error008.idr
- error008a.idr
- expected
- run
error009/
- 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
ffi007/
- expected
- ffi007.c
- ffi007.h
- ffi007.idr
- run
ffi008/
- expected
- ffi008.c
- ffi008.h
- ffi008.idr
- run
ffi009/
- Bad.idr
- Good.idr
- expected
- ffi009.c
- ffi009.h
- 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/
- TestInterfaces.idr
- expected
- run
- test_interfaces.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
interactive008/
- expected
- input
- run
interactive009/
- expected
- input
- interactive009.idr
- run
interactive010/
- expected
- input
- run
interactive011/
- expected
- input
- interactive011.idr
- run
interactive012/
- expected
- input
- interactive012.idr
- run
interactive013/
- expected
- input
- interactive013.idr
- run
interfaces001/
- InterfaceName.idr
- expected
- input
- run
interfaces002/
- expected
- interfaces002.idr
- run
interfaces003/
- expected
- interfaces003.idr
- run
interfaces004/
- expected
- interfaces004.idr
- run
interfaces005/
- expected
- interfaces005.idr
- interfaces005a.idr
- interfaces005b.idr
- run
interfaces006/
- expected
- interfaces006.idr
- run
io001/
- expected
- run
- test004.idr
io002/
- expected
- run
- test008.idr
io003/
- expected
- run
- test018.idr
- test018a.idr
layout001/
- expected
- layout001a.idr
- layout001b.idr
- layout001c.idr
- layout001d.idr
- layout001e.idr
- layout001f.idr
- layout001g.idr
- layout001h.idr
- layout001i.idr
- layout001j.idr
- layout001k.idr
- layout001l.idr
- layout001n.idr
- mplus1.idr
- mplus2.idr
- mplus3.idr
- run
literate001/
- Lit.lidr
- expected
- run
- test003.lidr
- test003a.lidr
meta001/
- Finite.idr
- expected
- run
meta002/
- AgdaStyleReflection.idr
- DataDef.idr
- Deriving.idr
- Tacs.idr
- expected
- run
meta003/
- BadDef.idr
- expected
- run
meta004/
- expected
- meta004.idr
- run
pkg001/
- Main.idr
- expected
- run
- test-pkg.ipkg
pkg002/
- Main.idr
- expected
- run
- test.ipkg
pkg003/
- Main.idr
- expected
- run
- test.ipkg
pkg004/
- Main.idr
- expected
- run
- test.ipkg
pkg005/
- expected
- run
- test.ipkg
pkg006/
- expected
- run
- test.ipkg
pkg007/
- expected
- input
- run
- toy/
prelude001/
- expected
- prelude001.idr
- run
primitives001/
- expected
- input
- run
- substring.idr
- test005.idr
primitives002/
- expected
- run
primitives003/
- expected
- run
- test038.idr
primitives004-disabled/
- expected
- primitives004.idr
- run
primitives005/
- expected
- primitives005.idr
- run
primitives006/
- array.c
- array.h
- expected
- load-test.idr
- run
- Data/
  - ByteArray.idr
  - Bytes.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
proof011/
- expected
- proof011.idr
- proof011a.idr
- run
proofsearch001/
- expected
- proofsearch001.idr
- run
proofsearch002/
- Process.idr
- expected
- proofsearch002.idr
- run
proofsearch003/
- expected
- proofsearch003.idr
- run
pruviloj001/
- expected
- pruviloj001.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
records004/
- expected
- records004.idr
- run
records005/
- expected
- records005.idr
- run
reg002/
- expected
- reg012.idr
- run
reg004/
- expected
- reg004.idr
- run
reg005/
- expected
- reg005.idr
- run
reg007/
- expected
- run
reg013/
- expected
- reg013.idr
- run
reg016/
- expected
- reg016.idr
- run
reg017/
- expected
- reg017.idr
- run
reg020/
- expected
- reg020.idr
- run
reg024/
- expected
- reg024.idr
- run
reg025/
- expected
- reg025.idr
- run
reg027/
- expected
- reg027.idr
- reg027a.idr
- run
reg029/
- Reg029Wrapper.java
- expected
- reg029.idr
- run
reg031/
- expected
- reg031.idr
- run
reg032/
- expected
- run
- test028.idr
reg039/
- expected
- reg039.idr
- run
reg040/
- expected
- reg040.idr
- run
reg041/
- expected
- ott.idr
- run
- showu.idr
reg042/
- expected
- reg042.idr
- run
reg045/
- expected
- reg045.idr
- run
reg048/
- expected
- reg048.idr
- run
reg051-disabled/
- expected
- reg051.idr
- run
reg052/
- expected
- reg052.idr
- run
reg067/
- expected
- reg067.idr
- run
reg075/
- expected
- input
- reg075.idr
- run
regression001/
- expected
- reg001.idr
- reg036.idr
- reg037.idr
- reg038.idr
- reg046.idr
- reg047.idr
- reg047a.idr
- reg053.idr
- reg057.idr
- reg058.idr
- reg058a.idr
- reg059.idr
- reg060.idr
- reg061.idr
- reg062.idr
- reg062.lidr
- reg063.idr
- reg064.idr
- reg065.idr
- reg066.idr
- reg071.idr
- reg073.lidr
- reg074.idr
- run
regression002/
- A.lidr
- DoubleEquality.idr
- Mod.idr
- badbangop.idr
- baddoublebang.idr
- expected
- reg003.idr
- reg003a.idr
- reg006.idr
- reg007.lidr
- reg010.idr
- reg018a.idr
- reg018b.idr
- reg018c.idr
- reg018d.idr
- reg023.idr
- reg028.idr
- reg028a.idr
- reg034.idr
- reg035.idr
- reg035a.lidr
- reg035b.idr
- reg044.idr
- reg049.idr
- reg054.idr
- reg055.idr
- reg055a.idr
- reg056.idr
- reg068.idr
- reg069.idr
- reg070.idr
- reg076.idr
- reg077.idr
- run
- working.idr
scripts/
- timeout
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
syntax001/
- Syntax.idr
- SyntaxOk.idr
- SyntaxTest.idr
- expected
- run
syntax002/
- expected
- run
- syntax002.idr
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
- expected.msys
- run
- totality.ipkg
- src/
  - Totality.idr
totality008/
- expected
- run
- totality008.idr
totality009/
- TestLambdaImpossible.idr
- TestLambdaPossible.idr
- TestLambdaPossible2.idr
- expected
- run
totality010/
- expected
- run
- totality010.idr
totality011/
- expected
- run
- totality011.lidr
totality012/
- expected
- run
- totality012.idr
- totality012a.idr
- totality012b.idr
totality013/
- expected
- run
- totality013.idr
- totality013a.idr
totality014/
- expected
- run
- totality014.idr
totality015/
- expected
- run
- totality015.idr
- totality015a.idr
totality016/
- expected
- run
- totality016.idr
totality017/
- expected
- run
- totality017.idr
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
- tutorial006c.idr
tutorial007/
- Providers.idr
- expected
- nativetypes.c
- run
- tutorial007.idr
unique001/
- expected
- run
- unique001.idr
unique004/
- expected
- run
- unique001a.idr
- unique001b.idr
- unique001c.idr
- unique001d.idr
- unique001e.idr
- unique002.idr
- unique002a.idr
- unique003.idr
universes001/
- expected
- run
- universes001.idr
universes002/
- expected
- run
- universes002.idr
views001/
- expected
- run
- views001.idr
- views001a.idr
views002/
- expected
- run
- views002.idr
views003/
- expected
- run
- views003.idr