aboutsummaryrefslogtreecommitdiff
path: root/src/test/compile-fail
Commit message (Expand)AuthorAgeFilesLines
* Produce better errors for invalid imports.Rafael Ávila de Espíndola2011-01-121-0/+6
* Fix two invalid import cases we were not detecting:Rafael Ávila de Espíndola2011-01-112-0/+23
* Further corrections to the Makefile rules covering failing tests.Graydon Hoare2011-01-108-6/+22
* Add a check for binding an alias. Good thing, as we had two instances in our ...Graydon Hoare2010-11-081-0/+7
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-024-5/+5
* Typecheck tags in "alt" patternsPatrick Walton2010-10-142-0/+24
* Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski2010-09-301-0/+7
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate...Graydon Hoare2010-09-201-2/+2
* Check for infinitely sized tags. Un-XFAIL test/compile-fail/infinite-tag-type...Patrick Walton2010-09-161-2/+5
* Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-211-0/+6
* Fix some naughtiness of handling newlines in bracequotes and multi-line comme...Graydon Hoare2010-08-031-0/+10
* Improve mutability checking. Closes #118.Graydon Hoare2010-07-235-1/+24
* Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus f...Graydon Hoare2010-07-231-0/+10
* Add a test for an obvious-seeming (but not actually legal) kind of cast attem...Graydon Hoare2010-07-191-0/+13
* Fix over-optimistic resolution of self-methods within obj scopes. There is no...Graydon Hoare2010-07-191-0/+11
* Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare2010-07-191-0/+7
* Ensure that functions that should return a value do; issue 41Patrick Walton2010-07-162-0/+10
* Implement the "simple typechecker", which avoids HM inferencePatrick Walton2010-07-151-2/+2
* Remove log-type-error; everything is loggable.Patrick Walton2010-07-151-6/+0
* Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare2010-07-141-0/+8
* Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare2010-07-092-0/+20
* Issue 66: Multi-line commentsMatt Brubeck2010-07-081-0/+9
* Some more typestate tests.Graydon Hoare2010-07-083-4/+28
* Numerous bug fixes to typestate algorithm.Graydon Hoare2010-07-061-0/+14
* Fix compile-fail/log-type-error.rs.Graydon Hoare2010-07-041-1/+1
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids i...Graydon Hoare2010-06-271-1/+1
* Add testcases for item name conflict at the same path level.Roy Frostig2010-06-251-0/+8
* A couple new tests for broken parts of the typechecker, XFAILed.Graydon Hoare2010-06-242-0/+10
* Populate tree.Graydon Hoare2010-06-2335-0/+358