Douglas Campos
|
963c8bd123
|
pass down a Ident
|
2018-08-16 19:21:33 +00:00 |
|
Douglas Campos
|
2fcabf2dd7
|
look into extern prelude to provide sugestions
|
2018-08-16 19:21:16 +00:00 |
|
Douglas Campos
|
bfbbe6d426
|
use name instead of boolean
|
2018-08-16 19:21:04 +00:00 |
|
Douglas Campos
|
d584151bf8
|
fix formatting
|
2018-08-16 19:20:47 +00:00 |
|
Douglas Campos
|
d5bd5db1e3
|
extract helper fn
|
2018-08-16 19:20:37 +00:00 |
|
Douglas Campos
|
232bd4c7ab
|
make the test only deal with edition flags
|
2018-08-16 19:20:27 +00:00 |
|
Douglas Campos
|
28c5f3ea55
|
tidy
|
2018-08-16 19:20:09 +00:00 |
|
Douglas Campos
|
576b041b19
|
prepend crate:: when crate_in_path feature is enabled
|
2018-08-16 19:19:54 +00:00 |
|
Douglas Campos
|
b4aa1f2f90
|
extract helper fn
|
2018-08-16 19:19:36 +00:00 |
|
Douglas Campos
|
af727dfd3f
|
revert back to master state
|
2018-08-16 19:19:19 +00:00 |
|
Douglas Campos
|
7aa5a5b5e8
|
bless output
|
2018-08-16 19:19:09 +00:00 |
|
Douglas Campos
|
5e9b50d4f5
|
fix lint
|
2018-08-16 19:18:55 +00:00 |
|
Douglas Campos
|
e1a3762b91
|
add missing license header
|
2018-08-16 19:18:45 +00:00 |
|
Douglas Campos
|
df55b7c28f
|
resolve suggestions should use create:: when enabled
fixes #51212
|
2018-08-16 19:18:34 +00:00 |
|
varkor
|
0383539ded
|
Fix handling of floating-point ranges
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
1dbc78112f
|
Handle equivalence classes of length-1 ranges
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
e9c8361cc6
|
Add equivalence class splitting for range constructors
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
527cccb7a7
|
Add some more compound exhaustiveness tests
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
9e9e023354
|
More formatting improvements
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
400cb1411e
|
Add a summary of the algorithm to the file
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
99754adbbb
|
Some reformatting
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
bfc8ce36f8
|
Add a test for integer products
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
5959a358e4
|
Move logic from push_wild_constructor to apply_constructor
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
4aa929cf8b
|
Move witnesses inside push_wild_constructor
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
bfc0807b28
|
Add some comments
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
af366b0eb8
|
Refactor condition
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
25ba9118ff
|
Add guarded arms to tests
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
07064de9a7
|
No longer return value_constructors for all_constructors
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
d27c21c016
|
Refactor for less allocation
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
6c21a0322c
|
Refactor after miri api changes
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
732d638483
|
Replace ... with ..= in suggestions
As ... is "(silently) deprecated". Presumably this means we should be giving correct, up-to-date suggestions, though.
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
1aa749469b
|
Introduce signed_bias method
The epitome of simplicity!
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
72cc4bd33b
|
Inline encode and decode methods
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
be12b242ce
|
Fix print_miri_value for signed integers
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
97a032ebb4
|
Simplify bitwise operations
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
c388c11a60
|
Special-case (RangeEnd::Included, Ordering::Equal) in lower_pattern_unadjusted
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
effb3d05a0
|
Improve the comments
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
a9f2c5a7b2
|
Fix sign conversion arithmetic errors
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
f4af3b015f
|
Refactor to remove explicit integer type matching
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
838997236e
|
Add singleton patterns to test
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
a553fa7244
|
Fix integer overflow
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
7695bd0be9
|
Use bit operators for min_max_ty
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
c00fd8f58c
|
Refactor interval conditions
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
7f72030421
|
Fix range splitting
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
a20cb1084a
|
Require just the Unicode Scalar Values to be matched for a char
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
9778a81e92
|
Improve macros with reduced repetition
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
7476ba4c8a
|
Add semi-exhaustive tests for exhaustiveness
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
121fa8d499
|
Fix handling of signed integers
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
b8702a0b1d
|
Add feature gate test
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
ed5a4d5e60
|
Add feature gate and refactor
|
2018-08-16 20:09:04 +01:00 |
|