summary refs log tree commit diff stats
path: root/tests/reject
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'type-classes' into upstreamZahary Karadjov2013-09-033-21/+18
|\
| * proper discrimination between csEmpty and csNoMatchZahary Karadjov2013-08-271-3/+1
| * fix tnoopZahary Karadjov2013-08-261-6/+5
| * implemented delegators and improved the error messages of unmatched type classesZahary Karadjov2013-08-261-12/+12
* | fixes #516Araq2013-08-311-0/+17
* | fixes #578Araq2013-08-301-0/+12
|/
* hacky fix for generic constraints matchingZahary Karadjov2013-08-191-0/+30
* fixes #503Araq2013-07-021-0/+10
* made some tests greenAraq2013-06-301-2/+2
* fixes #442Araq2013-06-271-0/+18
* fixes #481Araq2013-06-131-1/+14
* bugfixes for the guarded data flow analysisAraq2013-06-121-2/+2
* next steps for guarded data flow analysisAraq2013-06-112-1/+64
* made tests greenAraq2013-06-103-3/+3
* resolved conflict; added missing filesAraq2013-06-092-0/+48
|\
* | implemented large parts of the 'not nil' checkingAraq2013-06-091-0/+36
|/
* fixes #451Araq2013-06-041-0/+12
* made some tests green; implemented 'from module import nil'Araq2013-05-192-1/+2
* made some tests greenAraq2013-05-191-1/+1
* fixes #433Araq2013-05-181-0/+10
* fixes #430Zahary Karadjov2013-05-121-0/+12
* fixes #429 and tstmtexprZahary Karadjov2013-05-121-1/+1
* fixing the dos line endings in a broken testZahary Karadjov2013-05-121-4/+3
* new effect system should be sound nowAraq2013-05-111-0/+14
* made some tests greenAraq2013-04-223-3/+3
* fixes #287; bugfix: subrange checking is performed againAraq2013-04-121-0/+21
* cleanup of tests; use 'koch install' instead of 'install.sh' for a bootstrapp...Araq2013-04-111-1/+1
* improvements for destructorsAraq2013-04-081-0/+21
* rod file viewer for easier debugging of rod filesAraq2013-04-041-1/+1
* fixes a long-standing bug about procvar checkingAraq2013-03-251-0/+2
* bugfix: case exhaustiveness checkingAraq2013-03-211-0/+18
* Removes executable bit for text files.Grzegorz Adam Hankiewicz2013-03-1653-0/+0
* some bugfixes; no system.$ for object as it breaks codeAraq2013-02-241-1/+1
* preparations for a generational GCAraq2013-02-161-1/+1
* made some tests greenAraq2013-02-082-2/+2
* Merge remote-tracking branch 'upstream/master' into upstreamZahary Karadjov2013-01-281-0/+15
|\
| * bugfix: overlap checking for 'case'Araq2013-01-271-0/+15
* | the `mainmodule` option has effect only when no explicit module is givenZahary Karadjov2013-01-281-1/+1
|/
* made some tests green; some small bugfixesAraq2012-12-091-1/+1
* bugfix: 'not nil' and 'shared' typesAraq2012-12-021-2/+10
* implemented 'import except'Araq2012-11-281-0/+10
* parser support for 'not nil' annotationAraq2012-11-251-0/+15
* annotated effects of modules: os, sockets, timesAraq2012-11-182-2/+2
* made some tests greenAraq2012-11-113-3/+4
* implemented 'tags' pragmaAraq2012-11-112-0/+43
* made some tests greenAraq2012-11-072-2/+2
* bugfixes for exception trackingAraq2012-11-041-1/+1
* exception tracking should workAraq2012-11-042-0/+40
* fixes #235Araq2012-10-241-0/+14
* the `is` operator now works with type classes and type variablesZahary Karadjov2012-10-032-4/+4