2014-11-16 |
Niko Matsakis | Try to remove ty_nil, some kind of error in exhaustiveness...
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | Fix tidy error
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | Purge the old `once_fns`, which are not coming back
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | Update tests where we don't report errors twice anymore
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | Update parser with `for` syntax
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | Make TyTrait embed a `TraitRef`, so that when we extend...
|
commit | commitdiff | tree |
2014-11-07 |
Niko Matsakis | libs: add Deref, DerefMut impls for references, fixing...
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Remove the unboxed closure `|:|` notation from types...
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Support parenthesized paths `Foo(A,B) -> C` that expand...
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Restructure parsing of paths, which is quite tortured
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Correct tests that were supposed to fail but now pass...
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Partial fix for #17901: Be less conservative around...
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Reverse order of lookup
|
commit | commitdiff | tree |
2014-11-06 |
Niko Matsakis | Add blanket impls to allow the various `Fn` traits...
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Better debug printouts
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Remove incorrect doc annotation, mark experimental...
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Update the guide examples and try not to leave user...
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Implement new operator dispatch semantics.
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Add impls of the comparison operators for fixed-length...
|
commit | commitdiff | tree |
2014-11-05 |
Niko Matsakis | Repair various cases where values of distinct types...
|
commit | commitdiff | tree |
2014-11-03 |
Niko Matsakis | Use a struct rather than a 4-tuple
|
commit | commitdiff | tree |
2014-11-03 |
Niko Matsakis | Move associated types into the Assoc space and add...
|
commit | commitdiff | tree |
2014-11-03 |
Niko Matsakis | Add a 4th space for associated types defined in a trait...
|
commit | commitdiff | tree |
2014-11-03 |
Niko Matsakis | Add in the bounds into the typeparameterdefs for assoc...
|
commit | commitdiff | tree |
2014-11-03 |
Niko Matsakis | Restructure AST so that the associated type definition...
|
commit | commitdiff | tree |
2014-10-31 |
Niko Matsakis | Teach variance checker about the lifetime bounds that...
|
commit | commitdiff | tree |
2014-10-31 |
Niko Matsakis | Prefer where clauses to impls in trait resolution ...
|
commit | commitdiff | tree |
2014-10-28 |
Niko Matsakis | Avoid O(n^2) performance by reconsidering the full...
|
commit | commitdiff | tree |
2014-10-24 |
Niko Matsakis | Use type-safe wrapper for TypeFlags
|
commit | commitdiff | tree |
2014-10-22 |
Niko Matsakis | Use local cache when there are unbound type variables...
|
commit | commitdiff | tree |
2014-10-22 |
Niko Matsakis | Add test for issue #17594
|
commit | commitdiff | tree |
2014-10-22 |
Niko Matsakis | Adjust orphan rules to consider all input types, not...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Patch up broken error messages
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Address nits by @pcwalton
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Coherence tests that seemed to be missing.
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Tests for method resolution in the face of various...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Various minor cases where errors are reported in slightly...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Test where the old infrastructure failed to detect...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | The new method lookup mechanism typechecks calls against...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Correct case where the old version of method lookup...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Change method lookup infrastructure to use the trait...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Generalize the replace-late-bound-regions function...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Permit DST types to unify like other types.
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Implement "method matching". Similar to trait matching...
|
commit | commitdiff | tree |
2014-10-21 |
Niko Matsakis | Prune unused parameters.
|
commit | commitdiff | tree |
2014-10-17 |
Niko Matsakis | Correct a test. The error message changed because,...
|
commit | commitdiff | tree |
2014-10-16 |
Niko Matsakis | Check object lifetime bounds in coercions, not just...
|
commit | commitdiff | tree |
2014-10-13 |
Niko Matsakis | Only consider impliciy unboxed closure impl if the...
|
commit | commitdiff | tree |
2014-10-09 |
Niko Matsakis | Add a few more debug statements
|
commit | commitdiff | tree |
2014-10-09 |
Niko Matsakis | Convert tests to cross-crate, fix a RefCell bug I found...
|
commit | commitdiff | tree |
2014-10-09 |
Niko Matsakis | Add a model for how conditional trait impls might be...
|
commit | commitdiff | tree |
2014-10-09 |
Niko Matsakis | Implement multidispatch and conditional dispatch. Because...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Fix various places that were affected by adding core...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Remove as much of TypeContents as I can -- unfortunately...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Move checking of whether fields are Sized or not into...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Remove the last redundant check from kindck, and then...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Move checks for closure bounds out of kind.rs
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Remove redundant local variable checks.
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Remove checks that are already being done during typeck
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Move unsafe destructor check from kind.rs into wf.rs
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Integrate caching of results. Measurements show approx...
|
commit | commitdiff | tree |
2014-09-25 |
Niko Matsakis | Integrate builtin bounds fully into the trait checker
|
commit | commitdiff | tree |
2014-09-16 |
Niko Matsakis | Generalize lifetime bounds on type parameters to support...
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | Update docs to include Sized trait, which is needed
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | silence various warnings in stdlib, no idea why they...
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | add Send bound on impl because stricter trait checking...
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | misc ppaux changes
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | typeck/kind -- stop using old trait framework.
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | trans -- stop tracking vtables precisely, instead recompute...
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | Port coherence to use the new trait matching code
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | Guts of the new trait matching algorithm, not yet in use
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | Take core as a dependency on librlibc. This is needed...
|
commit | commitdiff | tree |
2014-09-15 |
Niko Matsakis | Update error messages in compile-fail tests
|
commit | commitdiff | tree |
2014-09-09 |
Niko Matsakis | Avoid ever constructing cyclic types in the first place...
|
commit | commitdiff | tree |
2014-08-29 |
Niko Matsakis | Label FIXMEs with a bug number
|
commit | commitdiff | tree |
2014-08-29 |
Niko Matsakis | Introduce new inference scheme: variables are now instantiat...
|
commit | commitdiff | tree |
2014-08-29 |
Niko Matsakis | Introduce snapshot_vec abstraction
|
commit | commitdiff | tree |
2014-08-28 |
Niko Matsakis | Refactor and cleanup inference code: s/get_ref()/fields...
|
commit | commitdiff | tree |
2014-08-28 |
Niko Matsakis | Fix kindck to consider inherited bounds
|
commit | commitdiff | tree |
2014-08-28 |
Niko Matsakis | Fix regionck to account for the uniqueness requirements...
|
commit | commitdiff | tree |
2014-08-28 |
Niko Matsakis | Fix regionck to consider bounds on a proc when capturing...
|
commit | commitdiff | tree |
2014-08-28 |
Niko Matsakis | Implement generalized object and type parameter bounds...
|
commit | commitdiff | tree |
2014-08-27 |
Niko Matsakis | Remove invalid test -- this test reads freed memory...
|
commit | commitdiff | tree |
2014-08-08 |
Niko Matsakis | Register new snapshot 12e0f72
|
commit | commitdiff | tree |
2014-08-07 |
Niko Matsakis | Remove spawn-stack-too-big.rs, which is too flaky.
|
commit | commitdiff | tree |
2014-08-07 |
Niko Matsakis | Temporary bootstrapping hack: introduce syntax for...
|
commit | commitdiff | tree |
2014-06-25 |
Niko Matsakis | librustc: Remove the fallback to `int` from typechecking.
|
commit | commitdiff | tree |
2014-06-22 |
Niko Matsakis | Rename ty_param_bounds_and_ty to Polytype
|
commit | commitdiff | tree |
2014-06-22 |
Niko Matsakis | Rename and move ty_param_substs_and_ty
|
commit | commitdiff | tree |
2014-06-22 |
Niko Matsakis | Refactor the unification code and rejuvenate the unit...
|
commit | commitdiff | tree |
2014-06-13 |
Niko Matsakis | Introduce VecPerParamSpace and use it to represent...
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Fix resolve to not permit refs to type vars from outer fns
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Add missing test case for contravariant trait matching
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Stop passing around Option<&substs> in trans and just...
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Move Def out of syntax crate, where it does not belong
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Simplify MonoId not to include parameters which, given...
|
commit | commitdiff | tree |
2014-06-06 |
Niko Matsakis | Move subst data structures into subst.rs, fix capitalization
|
commit | commitdiff | tree |
2014-05-12 |
Niko Matsakis | Factor out foldable better to reduce code duplication...
|
commit | commitdiff | tree |
2014-05-09 |
Niko Matsakis | Currently trans uses Vec<ty::t> to represent substitutions...
|
commit | commitdiff | tree |
2014-05-09 |
Niko Matsakis | Check lifetime parameters when we do check for supertrait...
|
commit | commitdiff | tree |
next |