Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

This branch is 2233 commits behind master

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
basic001
basic002
basic003
basic004
basic005
basic006
basic007
basic008
basic009
buffer001-disabled
dsl001
dsl002
effects001
effects002
error001
error002
error003
error004
ffi001
ffi002
ffi003
ffi004
interactive001
io001
io002
io003
literate001
primitives001
primitives002
primitives003
proof001
proof002
proof003
proof004
records001
reg001
reg002
reg003
reg004
reg005
reg006
reg007
reg008
reg009
reg010
reg011
reg012
reg013
reg014
reg015
reg016
reg017
reg018
reg019
reg020
reg021
reg022
reg023
reg024
reg025
reg026
reg027
reg028
reg029
reg030
reg031
reg032
reg033
sugar001
sugar002
sugar003
totality001
totality002
totality003
Makefile
README
mktest.pl
runtest.pl

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
Something went wrong with that request. Please try again.