about summary refs log tree commit diff
path: root/src/test/compile-fail
AgeCommit message (Collapse)AuthorLines
2011-03-29Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper-0/+13
2011-03-25Switch xfail system to use comments embedded in source files.Graydon Hoare-0/+55
2011-02-22Teach rustc about reserved keywordsBrian Anderson-0/+35
2011-02-10Cleanup for 'be' statement and comments about future typestateBrian Anderson-2/+2
2011-02-10Add compile-fail tests for tail callsBrian Anderson-0/+23
2011-01-30Reenable xfailed tests for rustboot that pass with trivial or no modificationsBrian Anderson-1/+1
2011-01-26Fix test now that we look at the full error-pattern. Also enable it for rustc.Rafael Ávila de Espíndola-1/+1
2011-01-25Print an error if we try to refer to a module in an expr_path.Rafael Ávila de Espíndola-0/+10
2011-01-25Small first step in expr_path. Call find_final_def just to detectRafael Ávila de Espíndola-0/+8
unresolved names. find_final_def is going to be extended to return the final expr.
2011-01-17Enable more tests.Rafael Ávila de Espíndola-1/+1
2011-01-14Fix the import handling in "complex" cases. When looking a.b.c and 'a' is aRafael Ávila de Espíndola-0/+8
module, we should look for 'b' *just* in the module 'a' and then continue resolving b.c in the environment created by updating *with* a. Still not 100% correct, but getting there.
2011-01-12Produce better errors for invalid imports.Rafael Ávila de Espíndola-0/+6
2011-01-11Fix two invalid import cases we were not detecting:Rafael Ávila de Espíndola-0/+23
* If an import was unused we would never print any errors for it. * We would keep the existing environment in scope when descending 'foo.bar' and would find 'bar' in the global environment if there was no 'bar' in 'foo'.
2011-01-10Further corrections to the Makefile rules covering failing tests.Graydon Hoare-6/+22
2010-11-08Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare-0/+7
library.
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-5/+5
2010-10-14Typecheck tags in "alt" patternsPatrick Walton-0/+24
2010-09-30Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski-0/+7
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare-2/+2
translate 0-ary constructors as constants. Rustc loses ~300kb.
2010-09-16Check for infinitely sized tags. Un-XFAIL ↵Patrick Walton-2/+5
test/compile-fail/infinite-tag-type-recursion.rs.
2010-08-21Modified parser to handle alt type andadded a few testsOr Brostovski-0/+6
ast.ml - modified arm types for easier polymorphism - fixed a bug in fmt_type_arm dead.ml - modified arm types for easier polymorphism common.ml - added 'either' - added some useful auxiliary functions item.ml - modified arm code to be more polymorphic and handle both alt-tag and alt-type, also fixed the problematic case in bad-alt.rs Makefile - added XFAIL for new alt-type test bad-alt.rs - added test for invalid alt syntax alt-type-simple.rs - added simple test for alt type
2010-08-03Fix some naughtiness of handling newlines in bracequotes and multi-line ↵Graydon Hoare-0/+10
comments. Closes #142.
2010-07-23Improve mutability checking. Closes #118.Graydon Hoare-1/+24
2010-07-23Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵Graydon Hoare-0/+10
fix in typestate system.
2010-07-19Add a test for an obvious-seeming (but not actually legal) kind of cast ↵Graydon Hoare-0/+13
attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.
2010-07-19Fix over-optimistic resolution of self-methods within obj scopes. There is ↵Graydon Hoare-0/+11
no such feature in the language at present. Add test to prevent regression. Closes #114.
2010-07-19Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare-0/+7
2010-07-16Ensure that functions that should return a value do; issue 41Patrick Walton-0/+10
2010-07-15Implement the "simple typechecker", which avoids HM inferencePatrick Walton-2/+2
2010-07-15Remove log-type-error; everything is loggable.Patrick Walton-6/+0
2010-07-14Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare-0/+8
2010-07-09Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare-0/+20
2010-07-08Issue 66: Multi-line commentsMatt Brubeck-0/+9
2010-07-08Some more typestate tests.Graydon Hoare-4/+28
2010-07-06Numerous bug fixes to typestate algorithm.Graydon Hoare-0/+14
2010-07-04Fix compile-fail/log-type-error.rs.Graydon Hoare-1/+1
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare-1/+1
instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
2010-06-25Add testcases for item name conflict at the same path level.Roy Frostig-0/+8
2010-06-24A couple new tests for broken parts of the typechecker, XFAILed.Graydon Hoare-0/+10
2010-06-23Populate tree.Graydon Hoare-0/+358