Andreas Rumpf
|
de1ede77fe
|
fixes #11715 (#11721)
|
2019-07-13 07:55:56 +02:00 |
|
Andreas Rumpf
|
1e97b420bb
|
fixes #7167 (#11300)
* fixes #7167
* spec: distinct types can be ordinal types
* bootstrapping issue
|
2019-05-22 11:50:05 +02:00 |
|
Arne Döring
|
a5ecbf823f
|
lots of small changes
|
2018-12-11 21:23:22 +01:00 |
|
Araq
|
f8e805a614
|
fixes #2760
|
2018-10-15 10:43:56 +02:00 |
|
Miran
|
3c9fcc4c30
|
Merge tests into a larger file (part 2 of ∞) (#9335)
* merge controlflow tests
* merge distinct tests
* merge enum tests
* merge fields tests
* merge implicit tests
* merge iter issues tests
|
2018-10-13 14:58:31 +02:00 |
|