about summary refs log tree commit diff
path: root/src/librustc_const_eval
AgeCommit message (Collapse)AuthorLines
2016-05-30Rollup merge of #33793 - GuillaumeGomez:compile_fail, r=GuillaumeGomezManish Goregaokar-1/+3
Fix compile_fail tag Fixes #33780 r? @steveklabnik
2016-05-28Refactor away some functions from hir::pat_utilVadim Petrochenkov-26/+20
2016-05-28Separate bindings from other patterns in HIRVadim Petrochenkov-63/+44
2016-05-27* Fix compile_fail tag (in some cases, it compiled whereas it wasn't ↵Guillaume Gomez-1/+3
expected to and was still considered 'ok') * Fix error explanations tests/tags
2016-05-26Replace pat_adjust_pos with an iterator adapterVadim Petrochenkov-3/+2
2016-05-26Implement `..` in tuple (struct) patternsVadim Petrochenkov-16/+27
2016-05-16Remove hir::IdentVadim Petrochenkov-4/+4
2016-05-12Add more details and examples in error codeggomez-4/+9
2016-05-11Rollup merge of #33260 - mrmiywj:help-on-pattern-guard, r=guillaumegomezSteve Klabnik-10/+51
add help on pattern guard
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-10/+8
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-3/+3
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-54/+51
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-1/+1
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-21/+27
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-36/+35
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-7/+6
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-11/+10
2016-05-09Auto merge of #33457 - oli-obk:const_err/cast_u8_ptr, r=eddybbors-0/+6
casting `&[u8]` to `* const u8` doesn't work in const_eval fixes #33452 r? @eddyb cc @Ms2ger
2016-05-08Auto merge of #33091 - sanxiyn:unused-trait-import-3, r=nrcbors-1/+1
Warn unused trait imports, rebased Rebase of #30021. Fix #25730.
2016-05-08casting `b"text"` to `* const u8` doesn't work in const_evalOliver 'ker' Schneider-0/+6
2016-05-03Rollup merge of #33339 - oli-obk:fix/const_eval, r=japaricManish Goregaokar-48/+37
fix various const eval errors These were found after const_evaluating arbitrary expressions and linting if the const evaluator failed fixes #33275 (int -> float casts for negative ints) fixes #33291 (int -> char casts (new! wasn't allowed in constants until this PR)) r? @eddyb cc @bluss @japaric
2016-05-03Remove unused trait imports flagged by lintSeo Sanghyeon-1/+1
2016-05-03Rollup merge of #33323 - birkenfeld:issue-31221, r=ManishearthManish Goregaokar-2/+21
match check: note "catchall" patterns in unreachable error Caught as catchall patterns are: * unconditional name bindings * references to them * tuple bindings with catchall elements Fixes #31221.
2016-05-03add help on pattern guardmrmiywj-10/+51
fix too long column fix typo of help on pattern guard one nit fix compile fail
2016-05-02replace fileline_{help,note} with {help,note}Niko Matsakis-1/+1
The extra filename and line was mainly there to keep the indentation relative to the main snippet; now that this doesn't include filename/line-number as a prefix, it is distracted.
2016-05-02refactor infer functionOliver Schneider-20/+20
There was no span available in the cast function, but we need to infer the `x` in `x as char` to `u8`. The spans are now removed from all functions using `infer` and instead added in `eval_const_expr_partial`
2016-05-02`* as char` assumes `*` to be of type `u8`Oliver Schneider-6/+11
2016-05-02check for wrong const_err warningsOliver Schneider-14/+12
2016-05-02remove unused constant error variantsOliver Schneider-14/+0
2016-05-01match check: note "catchall" patterns in unreachable errorGeorg Brandl-2/+21
Caught as catchall patterns are: * unconditional name bindings * references to them * tuple bindings with catchall elements Fixes #31221.
2016-04-30Fix patterns of the constants that are const methSimonas Kazlauskas-1/+1
See the regression test for the sample code this fixes
2016-04-26skip double negation in const evalOliver Schneider-38/+45
2016-04-14Rollup merge of #32646 - Ms2ger:Constructor, r=sanxiynSteve Klabnik-1/+1
Stop re-exporting check_match::Constructor.
2016-04-11don't report errors in constants at every use siteOliver Schneider-4/+22
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-6/+6
2016-04-06syntax: dismantle ast_util.Eduard Burtescu-3/+2
2016-04-06rustc: dismantle hir::util, mostly moving functions to methods.Eduard Burtescu-6/+5
2016-04-06rustc: move rustc_front to rustc::hir.Eduard Burtescu-13/+11
2016-04-03check constants even if they are unused in the current crateOliver Schneider-6/+17
2016-03-31librustc_const_eval: use bug!(), span_bug!()Benjamin Herr-46/+43
2016-03-31Stop re-exporting check_match::Constructor.Ms2ger-1/+1
2016-03-30move `const_eval` and `check_match` out of `librustc`Oliver Schneider-0/+3060
2016-03-30rename `rustc_const_eval` to `rustc_const_math`Oliver Schneider-789/+0
2016-03-22sprinkle feature gates here and thereJorge Aparicio-0/+1
2016-03-22try! -> ?Jorge Aparicio-7/+7
Automated conversion using the untry tool [1] and the following command: ``` $ find -name '*.rs' -type f | xargs untry ``` at the root of the Rust repo. [1]: https://github.com/japaric/untry
2016-03-14rustbuildOliver Schneider-0/+14
2016-03-10don't be a breaking change, even in presence of overflowing literalsOliver Schneider-4/+4
2016-03-10the type hint given during a cast operation is just a soft hintOliver Schneider-0/+18
2016-03-10typestrong constant integersOliver Schneider-0/+756