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 |
2014-05-09 |
Niko Matsakis | Rename resolve_regions to resolve_regions_and_report_errors
|
commit | commitdiff | tree |
2014-05-09 |
Niko Matsakis | Tweak region inference to ignore constraints like ...
|
commit | commitdiff | tree |
2014-05-06 |
Niko Matsakis | Remove error message that refactor suppresses
|
commit | commitdiff | tree |
2014-05-06 |
Niko Matsakis | Refactor writeback code. cc #5527
|
commit | commitdiff | tree |
2014-05-04 |
Niko Matsakis | Skip pretty printing for the regions bound test
|
commit | commitdiff | tree |
2014-05-03 |
Niko Matsakis | Temporary patch to accept arbitrary lifetimes (behind...
|
commit | commitdiff | tree |
2014-05-01 |
Niko Matsakis | Address nits from @pnkfelix
|
commit | commitdiff | tree |
2014-04-28 |
Niko Matsakis | Remove default method implementations
|
commit | commitdiff | tree |
2014-04-24 |
Niko Matsakis | Convert delegate to use an object type and remove FIXME...
|
commit | commitdiff | tree |
2014-04-24 |
Niko Matsakis | Pre-step towards issue #12624 and others: Introduce...
|
commit | commitdiff | tree |
2014-04-24 |
Niko Matsakis | use option_env! instead of env!
|
commit | commitdiff | tree |
2014-04-24 |
Niko Matsakis | rustdoc: fix de-@rooting fallout
|
commit | commitdiff | tree |
2014-03-13 |
Niko Matsakis | Tweak comments
|
commit | commitdiff | tree |
2014-03-13 |
Niko Matsakis | compile-fail: Beef up borrowck test to include some...
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | Correct nits from @pcwalton
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | test -- add new tests specifically examining closure...
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | test -- update tests with new error messages
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | dataflow -- do not consider the interprocedural case
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | borrowck -- treak borrows from closures like other...
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | mem_categorization -- parameterize over TYPER interface...
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | regionck -- rewrite in terms of mem_categorization...
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | add upvar_borrow_map to tcx and fcx in typeck
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | region -- Improve comments in region.rs
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | librustuv -- fix unsafe sharing in rustuv
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | libsyntax -- fix unsafe sharing in closures
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | libgetopts -- fix unsafe sharing in closures
|
commit | commitdiff | tree |
2014-02-11 |
Niko Matsakis | front -- collapse iterator actions that require access...
|
commit | commitdiff | tree |
next |