..
api001
Add test
2020-06-15 16:11:08 +02:00
basic001
Fixed tests
2020-06-11 22:46:36 +02:00
basic002
Add test script
2020-05-19 18:25:18 +01:00
basic003
Updated tests
2020-06-13 16:51:05 +02:00
basic004
Add test script
2020-05-19 18:25:18 +01:00
basic005
Updated tests
2020-06-13 16:51:05 +02:00
basic006
Add test script
2020-05-19 18:25:18 +01:00
basic007
Add test script
2020-05-19 18:25:18 +01:00
basic008
Add test script
2020-05-19 18:25:18 +01:00
basic009
Add test script
2020-05-19 18:25:18 +01:00
basic010
Add test script
2020-05-19 18:25:18 +01:00
basic011
Updated tests
2020-06-13 16:51:05 +02:00
basic012
Add test script
2020-05-19 18:25:18 +01:00
basic013
Add test script
2020-05-19 18:25:18 +01:00
basic014
Updated tests
2020-06-13 16:51:05 +02:00
basic015
Add test script
2020-05-19 18:25:18 +01:00
basic016
Updated tests
2020-06-13 16:51:05 +02:00
basic017
Add test script
2020-05-19 18:25:18 +01:00
basic018
Updated tests
2020-06-13 16:51:05 +02:00
basic019
Allow _ for names in pi binders
2020-05-25 13:14:51 +01:00
basic020
Add test script
2020-05-19 18:25:18 +01:00
basic021
Add test script
2020-05-19 18:25:18 +01:00
basic022
Updated tests
2020-06-13 16:51:05 +02:00
basic023
Add test script
2020-05-19 18:25:18 +01:00
basic024
Add test script
2020-05-19 18:25:18 +01:00
basic025
Add test script
2020-05-19 18:25:18 +01:00
basic026
Add test script
2020-05-19 18:25:18 +01:00
basic027
Add test script
2020-05-19 18:25:18 +01:00
basic028
Add test script
2020-05-19 18:25:18 +01:00
basic029
Add test script
2020-05-19 18:25:18 +01:00
basic030
Updated tests
2020-06-13 16:51:05 +02:00
basic031
Fixed tests
2020-06-11 22:46:36 +02:00
basic032
Add test script
2020-05-19 18:25:18 +01:00
basic033
Updated tests
2020-06-13 16:51:05 +02:00
basic034
Updated tests
2020-06-13 16:51:05 +02:00
basic035
Fix build
2020-05-25 16:45:33 +01:00
basic036
Allow _ for names in pi binders
2020-05-25 13:14:51 +01:00
basic037
Add test script
2020-05-19 18:25:18 +01:00
basic038
Add test script
2020-05-19 18:25:18 +01:00
basic039
Add AllGuarded flag for functions
2020-05-22 17:27:18 +01:00
basic040
Add test script
2020-05-19 18:25:18 +01:00
coverage001
All functions now need to be covering by default
2020-05-24 19:58:20 +01:00
coverage002
All functions now need to be covering by default
2020-05-24 19:58:20 +01:00
coverage003
Updated tests
2020-06-13 16:51:05 +02:00
coverage004
Updated tests
2020-06-13 16:51:05 +02:00
coverage005
Fix import loading
2020-05-27 15:49:03 +01:00
coverage006
Better checking for empty types
2020-05-23 11:03:54 +01:00
coverage007
Updated tests
2020-06-13 16:51:05 +02:00
coverage008
Update tests
2020-06-24 23:53:42 +01:00
coverage009
Updated tests
2020-06-13 16:51:05 +02:00
coverage010
Update tests
2020-06-24 23:53:42 +01:00
error001
Updated tests
2020-06-13 16:51:05 +02:00
error002
Updated tests
2020-06-13 16:51:05 +02:00
error003
Updated tests
2020-06-13 16:51:05 +02:00
error004
Updated tests
2020-06-13 16:51:05 +02:00
error005
Updated tests
2020-06-13 16:51:05 +02:00
error006
Updated tests
2020-06-13 16:51:05 +02:00
error007
Updated tests
2020-06-13 16:51:05 +02:00
error008
Add test script
2020-05-19 18:25:18 +01:00
error009
Add test script
2020-05-19 18:25:18 +01:00
error010
Updated tests
2020-06-13 16:51:05 +02:00
error011
add unit test for constructor duplicate
2020-06-20 23:39:03 +02:00
import001
Add test script
2020-05-19 18:25:18 +01:00
import002
Updated tests
2020-06-13 16:51:05 +02:00
import003
Add test script
2020-05-19 18:25:18 +01:00
import004
Add test script
2020-05-19 18:25:18 +01:00
interactive001
Add test script
2020-05-19 18:25:18 +01:00
interactive002
Add test script
2020-05-19 18:25:18 +01:00
interactive003
Add test script
2020-05-19 18:25:18 +01:00
interactive004
Add test script
2020-05-19 18:25:18 +01:00
interactive005
Add test script
2020-05-19 18:25:18 +01:00
interactive006
Add test script
2020-05-19 18:25:18 +01:00
interactive007
Add test script
2020-05-19 18:25:18 +01:00
interactive008
Add test script
2020-05-19 18:25:18 +01:00
interactive009
Add linear pair/dependent pair to the prelude
2020-06-12 11:18:12 +01:00
interactive010
Add test script
2020-05-19 18:25:18 +01:00
interactive011
Add test script
2020-05-19 18:25:18 +01:00
interactive012
Add test script
2020-05-19 18:25:18 +01:00
interactive013
[ fix ] preserve spacing during update
2020-05-23 14:41:44 +01:00
interactive014
Implement make-case
2020-06-27 18:28:09 +01:00
interface001
All functions now need to be covering by default
2020-05-24 19:58:20 +01:00
interface002
Add test script
2020-05-19 18:25:18 +01:00
interface003
Add test script
2020-05-19 18:25:18 +01:00
interface004
Add test script
2020-05-19 18:25:18 +01:00
interface005
Add test script
2020-05-19 18:25:18 +01:00
interface006
Add test script
2020-05-19 18:25:18 +01:00
interface007
Add test script
2020-05-19 18:25:18 +01:00
interface008
Updated tests
2020-06-13 16:51:05 +02:00
interface009
Add test script
2020-05-19 18:25:18 +01:00
interface010
Add test script
2020-05-19 18:25:18 +01:00
interface011
Add test script
2020-05-19 18:25:18 +01:00
interface012
Add test script
2020-05-19 18:25:18 +01:00
interface013
Updated tests
2020-06-13 16:51:05 +02:00
interface014
Add test script
2020-05-19 18:25:18 +01:00
interface015
Updated tests
2020-06-13 16:51:05 +02:00
interface016
Updated tests
2020-06-13 16:51:05 +02:00
interpreter001
Add test script
2020-05-19 18:25:18 +01:00
interpreter002
Add :let test
2020-06-07 16:40:45 +03:00
interpreter003
Add module REPL command
2020-06-16 17:29:10 +02:00
lazy001
Add test script
2020-05-19 18:25:18 +01:00
linear001
Add test script
2020-05-19 18:25:18 +01:00
linear002
Add test script
2020-05-19 18:25:18 +01:00
linear003
Add test script
2020-05-19 18:25:18 +01:00
linear004
Updated tests
2020-06-13 16:51:05 +02:00
linear005
Add linear pair/dependent pair to the prelude
2020-06-12 11:18:12 +01:00
linear006
Updated tests
2020-06-13 16:51:05 +02:00
linear007
Fixed tests
2020-06-11 22:46:36 +02:00
linear008
Add linear pair/dependent pair to the prelude
2020-06-12 11:18:12 +01:00
linear009
Allow _ for names in pi binders
2020-05-25 13:14:51 +01:00
linear010
Add experimental library for linear computations
2020-06-23 23:11:48 +01:00
linear011
Postpone elaborating lambdas
2020-06-24 23:27:45 +01:00
linear012
Add missing test file
2020-06-28 22:28:56 +01:00
literate001
Add test script
2020-05-19 18:25:18 +01:00
literate002
Updated tests
2020-06-13 16:51:05 +02:00
literate003
Add test script
2020-05-19 18:25:18 +01:00
literate004
Add test script
2020-05-19 18:25:18 +01:00
literate005
Add test script
2020-05-19 18:25:18 +01:00
literate006
Add linear pair/dependent pair to the prelude
2020-06-12 11:18:12 +01:00
literate007
Add test script
2020-05-19 18:25:18 +01:00
literate008
Add test script
2020-05-19 18:25:18 +01:00
literate009
Add test script
2020-05-19 18:25:18 +01:00
literate010
Add test script
2020-05-19 18:25:18 +01:00
literate011
Add test script
2020-05-19 18:25:18 +01:00
literate012
Add test script
2020-05-19 18:25:18 +01:00
literate013
Improved parsing for literate modes.
2020-06-11 12:51:47 +01:00
literate014
Implement make-case
2020-06-27 18:28:09 +01:00
literate015
Implement make-case
2020-06-27 18:28:09 +01:00
namespace001
Use precise inference for hole types
2020-06-28 22:16:15 +01:00
params001
Updated tests
2020-06-13 16:51:05 +02:00
perf001
Add test script
2020-05-19 18:25:18 +01:00
perf002
Add test script
2020-05-19 18:25:18 +01:00
perf003
Add test script
2020-05-19 18:25:18 +01:00
perf004
Add visibility rules on types
2020-05-30 17:03:15 +01:00
perror001
Add test script
2020-05-19 18:25:18 +01:00
perror002
Add test script
2020-05-19 18:25:18 +01:00
perror003
Add test script
2020-05-19 18:25:18 +01:00
perror004
Add test script
2020-05-19 18:25:18 +01:00
perror005
Add test script
2020-05-19 18:25:18 +01:00
perror006
Add test script
2020-05-19 18:25:18 +01:00
pkg001
Add test script
2020-05-19 18:25:18 +01:00
pkg002
Add test script
2020-05-19 18:25:18 +01:00
pkg003
Allow overriding the build directory and the output directory
2020-06-20 17:23:51 +02:00
pkg004
Merge remote-tracking branch 'upstream/master' into code-in-errors
2020-06-13 18:20:12 +02:00
real001
Add linear pair/dependent pair to the prelude
2020-06-12 11:18:12 +01:00
real002
HasIO interface for IO actions
2020-06-21 01:18:43 +01:00
record001
Add test script
2020-05-19 18:25:18 +01:00
record002
Add test script
2020-05-19 18:25:18 +01:00
record003
Add test script
2020-05-19 18:25:18 +01:00
record004
Updated tests
2020-06-13 16:51:05 +02:00
reflection001
Updated tests
2020-06-13 16:51:05 +02:00
reflection002
Reduce amount of normalisation in elab scripts
2020-06-03 00:22:03 +01:00
reflection003
Update tests
2020-06-24 23:53:42 +01:00
reflection004
In reflection, check now takes a concrete type
2020-06-02 22:41:37 +01:00
reflection005
Updated tests
2020-06-13 16:51:05 +02:00
reflection006
Updated tests
2020-06-13 16:51:05 +02:00
reflection007
Add quote operation to Elab
2020-06-02 23:36:20 +01:00
reflection008
Slightly neater reflection008 test
2020-06-03 09:25:09 +01:00
reg001
Add test script
2020-05-19 18:25:18 +01:00
reg002
Add test script
2020-05-19 18:25:18 +01:00
reg003
Updated tests
2020-06-13 16:51:05 +02:00
reg004
Add test script
2020-05-19 18:25:18 +01:00
reg005
Updated tests
2020-06-13 16:51:05 +02:00
reg006
Add test script
2020-05-19 18:25:18 +01:00
reg007
Fixed tests
2020-06-11 22:46:36 +02:00
reg008
Add visibility rules on types
2020-05-30 17:03:15 +01:00
reg009
Add test script
2020-05-19 18:25:18 +01:00
reg010
Add test script
2020-05-19 18:25:18 +01:00
reg011
Add test script
2020-05-19 18:25:18 +01:00
reg012
Add test script
2020-05-19 18:25:18 +01:00
reg013
Updated tests
2020-06-13 16:51:05 +02:00
reg014
Add test script
2020-05-19 18:25:18 +01:00
reg015
Updated tests
2020-06-13 16:51:05 +02:00
reg016
Add test script
2020-05-19 18:25:18 +01:00
reg017
Fixed tests
2020-06-11 22:46:36 +02:00
reg018
Add test script
2020-05-19 18:25:18 +01:00
reg019
Updated tests
2020-06-13 16:51:05 +02:00
reg020
Make sure literals are normalise on LHS
2020-05-23 11:48:15 +01:00
reg021
Look inside case blocks in conversion check
2020-06-04 18:21:44 +01:00
reg022
Fix case trees at multiplicity zero
2020-06-06 20:45:20 +01:00
reg023
Updated tests
2020-06-13 16:51:05 +02:00
reg024
Display binder if it's not implicitly bindable
2020-06-27 16:26:34 +01:00
reg025
Display binder if it's not implicitly bindable
2020-06-27 16:26:34 +01:00
reg026
Record implicit parameters of interfaces
2020-06-28 14:58:57 +01:00
reg027
Pay attention to nested names in coverage check
2020-06-29 13:27:00 +01:00
reg028
Add test files
2020-06-29 15:13:42 +01:00
reg029
Don't commit to a Force too early
2020-07-01 00:40:44 +01:00
total001
All functions now need to be covering by default
2020-05-24 19:58:20 +01:00
total002
Add test script
2020-05-19 18:25:18 +01:00
total003
All functions now need to be covering by default
2020-05-24 19:58:20 +01:00
total004
Add test script
2020-05-19 18:25:18 +01:00
total005
Add test script
2020-05-19 18:25:18 +01:00
total006
Evaluate with tcinline under Delay
2020-05-22 13:30:07 +01:00
total007
Updated tests
2020-06-13 16:51:05 +02:00
total008
Fixed tests
2020-06-11 22:46:36 +02:00
with001
Add test script
2020-05-19 18:25:18 +01:00
with002
Add test script
2020-05-19 18:25:18 +01:00
with003
Merge pull request #345 from edwinb/hasio
2020-06-21 20:24:29 +01:00
25491060e2