git.iko.soy/Idris-dev
on dcdebfc help sign in
history oftest/README
all commits
992acb4Fix regression with data declarations in whereEdwin Brady 1d2fc7fCategorise testsEdwin Brady 2fe2ecaAdd regression test for possibly-null foreign strings in the executorMelvar Chen 17de459Add floating point primitives to LLVM backendMarkus Pfeiffer 8ccd2e6Add test documentationJan Bessai 922fdd1Try all names in refine to resolve ambiguity Fixes #426Edwin Brady eff62f4Regression test for StrLen.Jan Bessai 5b2f091Allow type class constraints in 'using' clauses e.g. if a using block is given asEdwin Brady 0250ca6Test for simple file-based type providersDavid Christiansen c9bc3b9Added new tests to the test READMEDavid Christiansen 8435ba9Test for dynamic loading of C libs + interpreter IODavid Christiansen 0b5a5b3Added effects package and associated testsEdwin Brady 98599b5Only apply unique implicit conversions (and add test)Edwin Brady bba84d5Added raw (non-typesafe) message passing library (System.Concurrency.Raw)Edwin Brady f8920a0Deal with higher order recursive arguments in size change graphsEdwin Brady 30e4ed8Added simple productivity checker for coinductive definitions Recursive calls must be an argument to a coinductive constructorEdwin Brady fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady 2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady 19495edCheck patterns are inaccessibleEdwin Brady d54f335Added record testEdwin Brady 02701e7Numeric ranges [a..b], [a,b .. c] and list monadEdwin Brady 67c5734Added case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known at the point of elaborationEdwin Brady 1a12cc3Test for idiom brackets and Applicative classEdwin Brady e1e8b95New testEdwin Brady 88f6bf1Fix obscure where naming bugEdwin Brady