ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
264f773886
Idris-dev/test
History
David Raymond Christiansen 264f773886 Remove colour codes from ffi001 expected
2014-02-04 12:01:45 +01:00
..
basic001 Categorise tests 2014-01-30 17:24:08 +00:00
basic002 Categorise tests 2014-01-30 17:24:08 +00:00
basic003 Categorise tests 2014-01-30 17:24:08 +00:00
basic004 Categorise tests 2014-01-30 17:24:08 +00:00
basic005 Categorise tests 2014-01-30 17:24:08 +00:00
basic006 Categorise tests 2014-01-30 17:24:08 +00:00
basic007 Categorise tests 2014-01-30 17:24:08 +00:00
basic008 Categorise tests 2014-01-30 17:24:08 +00:00
basic009 Categorise tests 2014-01-30 17:24:08 +00:00
buffer001-disabled Temporarily disable buffer001 test 2014-02-01 20:36:51 +00:00
dsl001 Categorise tests 2014-01-30 17:24:08 +00:00
dsl002 Change argument order for 'either' 2014-02-03 13:37:04 +00:00
effects001 Categorise tests 2014-01-30 17:24:08 +00:00
effects002 Categorise tests 2014-01-30 17:24:08 +00:00
error001 Categorise tests 2014-01-30 17:24:08 +00:00
error002 Categorise tests 2014-01-30 17:24:08 +00:00
error003 Categorise tests 2014-01-30 17:24:08 +00:00
error004 Categorise tests 2014-01-30 17:24:08 +00:00
ffi001 Remove colour codes from ffi001 expected 2014-02-04 12:01:45 +01:00
ffi002 Test updates for executor and type provider update 2014-02-03 11:07:11 +01:00
ffi003 Test updates for executor and type provider update 2014-02-03 11:07:11 +01:00
ffi004 Test updates for executor and type provider update 2014-02-03 11:07:11 +01:00
interactive001 Categorise tests 2014-01-30 17:24:08 +00:00
io001 Categorise tests 2014-01-30 17:24:08 +00:00
io002 Categorise tests 2014-01-30 17:24:08 +00:00
io003 Categorise tests 2014-01-30 17:24:08 +00:00
literate001 Categorise tests 2014-01-30 17:24:08 +00:00
primitives001 Categorise tests 2014-01-30 17:24:08 +00:00
primitives002 Categorise tests 2014-01-30 17:24:08 +00:00
primitives003 Categorise tests 2014-01-30 17:24:08 +00:00
proof001 Categorise tests 2014-01-30 17:24:08 +00:00
proof002 Categorise tests 2014-01-30 17:24:08 +00:00
proof003 Categorise tests 2014-01-30 17:24:08 +00:00
proof004 Categorise tests 2014-01-30 17:24:08 +00:00
records001 Categorise tests 2014-01-30 17:24:08 +00:00
reg001 Remove apply from reg001 since it's in the prelude! 2014-01-18 19:52:21 +00:00
reg002 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg003 Implicit "module Main" added 2014-01-18 22:11:59 +00:00
reg004 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg005 Categorise tests 2014-01-30 17:24:08 +00:00
reg006 Fix earlier %assert_total propagation 2014-01-03 01:31:01 +00:00
reg007 Rewrite error printing to use the pretty-printer 2014-01-28 13:57:11 +01:00
reg008 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg009 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg010 Rewrite error printing to use the pretty-printer 2014-01-28 13:57:11 +01:00
reg011 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg012 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg013 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg014 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg015 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg016 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg017 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg018 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg019 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg020 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg021 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg022 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg023 Rewrite error printing to use the pretty-printer 2014-01-28 13:57:11 +01:00
reg024 Adjust tests to the changed String show instance 2013-11-25 18:10:46 +01:00
reg025 Adjust tests to the changed String show instance 2013-11-25 18:10:46 +01:00
reg026 Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00
reg027 Improve type class overlap check 2013-11-24 01:17:47 +00:00
reg028 Update result of reg028 2013-11-30 13:53:23 +00:00
reg029 fixes reg029 to not use set -u (which does not exist on macosx) 2013-12-22 15:17:43 +01:00
reg030 Fix bug in 'forget' for well-typed terms 2014-01-18 17:38:55 +00:00
reg031 Make reg031 char-sign-indifferent. 2014-01-19 22:05:11 +00:00
reg032 Categorise tests 2014-01-30 17:24:08 +00:00
sugar001 Categorise tests 2014-01-30 17:24:08 +00:00
sugar002 Categorise tests 2014-01-30 17:24:08 +00:00
sugar003 Categorise tests 2014-01-30 17:24:08 +00:00
totality001 Categorise tests 2014-01-30 17:24:08 +00:00
totality002 Categorise tests 2014-01-30 17:24:08 +00:00
totality003 Add assert_smaller function 2014-02-01 22:52:22 +00:00
Makefile Fix mistake in test Makefile 2014-02-01 20:10:04 +00:00
mktest.pl Change from shebangs with absolute references to using /usr/bin/env 2013-11-18 17:10:00 +00:00
README Categorise tests 2014-01-30 17:24:08 +00:00
runtest.pl Add assert_smaller function 2014-02-01 22:52:22 +00:00

README 

Tests are categorised as follows:

basic:       Basic language features, some complete programs
dsl:         Embedded DSLs and features to support DSL development
effects:     Effects package
error:       Error messages and error reflection
ffi:         FFI calls, including type providers
interactive: Interactive editing, proof search
io:          IO monad
literate:    .lidr files; literate programming
primitives:  Primitive types
proof:       Theorem proving, tactics
sugar:       Syntactic sugar, syntax extensions
totality:    Totality checking

reg:         Regression tests, covering previous bug fixes