| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-03-29 | Beginnings of support for magical self prefix; nothing profound happening yet. | Lindsey Kuper | -0/+13 | |
| 2011-03-25 | Switch xfail system to use comments embedded in source files. | Graydon Hoare | -0/+55 | |
| 2011-02-22 | Teach rustc about reserved keywords | Brian Anderson | -0/+35 | |
| 2011-02-10 | Cleanup for 'be' statement and comments about future typestate | Brian Anderson | -2/+2 | |
| 2011-02-10 | Add compile-fail tests for tail calls | Brian Anderson | -0/+23 | |
| 2011-01-30 | Reenable xfailed tests for rustboot that pass with trivial or no modifications | Brian Anderson | -1/+1 | |
| 2011-01-26 | Fix test now that we look at the full error-pattern. Also enable it for rustc. | Rafael Ávila de Espíndola | -1/+1 | |
| 2011-01-25 | Print an error if we try to refer to a module in an expr_path. | Rafael Ávila de Espíndola | -0/+10 | |
| 2011-01-25 | Small first step in expr_path. Call find_final_def just to detect | Rafael Ávila de Espíndola | -0/+8 | |
| unresolved names. find_final_def is going to be extended to return the final expr. | ||||
| 2011-01-17 | Enable more tests. | Rafael Ávila de Espíndola | -1/+1 | |
| 2011-01-14 | Fix the import handling in "complex" cases. When looking a.b.c and 'a' is a | Rafael Á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-12 | Produce better errors for invalid imports. | Rafael Ávila de Espíndola | -0/+6 | |
| 2011-01-11 | Fix 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-10 | Further corrections to the Makefile rules covering failing tests. | Graydon Hoare | -6/+22 | |
| 2010-11-08 | Add a check for binding an alias. Good thing, as we had two instances in our ↵ | Graydon Hoare | -0/+7 | |
| library. | ||||
| 2010-11-02 | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | -5/+5 | |
| 2010-10-14 | Typecheck tags in "alt" patterns | Patrick Walton | -0/+24 | |
| 2010-09-30 | Closed issue 154 - prevents compiler from compiliing a line to zero statements | Or Brostovski | -0/+7 | |
| 2010-09-20 | Bind 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-16 | Check for infinitely sized tags. Un-XFAIL ↵ | Patrick Walton | -2/+5 | |
| test/compile-fail/infinite-tag-type-recursion.rs. | ||||
| 2010-08-21 | Modified parser to handle alt type andadded a few tests | Or 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-03 | Fix some naughtiness of handling newlines in bracequotes and multi-line ↵ | Graydon Hoare | -0/+10 | |
| comments. Closes #142. | ||||
| 2010-07-23 | Improve mutability checking. Closes #118. | Graydon Hoare | -1/+24 | |
| 2010-07-23 | Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵ | Graydon Hoare | -0/+10 | |
| fix in typestate system. | ||||
| 2010-07-19 | Add 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-19 | Fix 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-19 | Missing semicolon in type.ml, plus test to catch regression. Closes #113. | Graydon Hoare | -0/+7 | |
| 2010-07-16 | Ensure that functions that should return a value do; issue 41 | Patrick Walton | -0/+10 | |
| 2010-07-15 | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | -2/+2 | |
| 2010-07-15 | Remove log-type-error; everything is loggable. | Patrick Walton | -6/+0 | |
| 2010-07-14 | Fix ret/put mis-identification in typechecker. Closes #87. | Graydon Hoare | -0/+8 | |
| 2010-07-09 | Catch cyclic imports harder. Add 2 tests to confirm. | Graydon Hoare | -0/+20 | |
| 2010-07-08 | Issue 66: Multi-line comments | Matt Brubeck | -0/+9 | |
| 2010-07-08 | Some more typestate tests. | Graydon Hoare | -4/+28 | |
| 2010-07-06 | Numerous bug fixes to typestate algorithm. | Graydon Hoare | -0/+14 | |
| 2010-07-04 | Fix compile-fail/log-type-error.rs. | Graydon Hoare | -1/+1 | |
| 2010-06-27 | Only 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-25 | Add testcases for item name conflict at the same path level. | Roy Frostig | -0/+8 | |
| 2010-06-24 | A couple new tests for broken parts of the typechecker, XFAILed. | Graydon Hoare | -0/+10 | |
| 2010-06-23 | Populate tree. | Graydon Hoare | -0/+358 | |
