Skip to content
Pull request Compare This branch is 5541 commits behind idris-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
..
Failed to load latest commit information.
reg001
reg002
reg003
reg004
reg005
reg006
reg007
reg008
reg009
reg010
reg011
reg012
reg013
reg014
reg015
reg016
reg017
reg018
reg019
test001
test002
test003
test004
test005
test006
test007
test008
test009
test010
test011
test012
test013
test014
test015
test016
test017
test018
test019
test020
test021
test022
test023
test024
test025
test026
test027
Makefile
README
mktest.pl
runtest.pl

README

Tests:

001: Well-typed interpreter
002: Universe checking
003: Literate source and string processing
004: File operations
005: Num class resolution [regression]; span & break; ad-hoc overloading
006: Provisional definitions; class resolution in patterns
007: Applicative and idiom brackets
008: case and pattern matching let
009: ranges and list monad
010: total
011: record projection and update
012: various error regressions
013: binding syntax
014: resource DSL
015: verified binary adder
016: codata
017: mutually recursive totality checking
018: Message passing concurrency (raw form)
019: magic with
020: implicit conversions
021: effects
022: dynamic C library loading and interpreter IO
023: trivial (non-I/O) type providers
024: interpreter I/O
025: memory effects
026: simple file-I/O-based type provider
027: class constraints in using block

regxxx: various regression tests
Something went wrong with that request. Please try again.