diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-11 14:47:33 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-09-11 14:47:33 +0100 |
| commit | 96e988fcc3be11acc89dc2c1957bc14e8f39c911 (patch) | |
| tree | b5bea2b98dd1b6fee1d1ffa06858ef6d6cbfadc2 /editors/code | |
| parent | 87c8dfcadd42f3ca85a8f1cb22679266415a3596 (diff) | |
| parent | 4d97f5f037c1b061215d4b0fb32d48a1b8be836f (diff) | |
| parent | 681ac6294ada917b8c5fbba60f9ba1c82da338aa (diff) | |
Merge #5951 #5975
5951: Rename record_field_pat to record_pat_field r=jonas-schievink a=pksunkara
The token was renamed but not this.
5975: Report better errors in project.json/sysroot r=jonas-schievink a=jonas-schievink
This does a bunch of light refactoring so that the `Sysroot` is loaded later, which makes sure that any errors are reported to the user. I then added a check that reports an error if libcore is missing in the loaded sysroot. Since a sysroot without libcore is very useless, this indicates a configuration error.
Co-authored-by: Pavan Kumar Sunkara <[email protected]>
Co-authored-by: Jonas Schievink <[email protected]>