WIP try combining PlatformHeaderInfo & HeaderInfo

This commit is contained in:
Richard Feldman 2022-12-06 14:05:27 -05:00
parent 6115781b9d
commit 100044295f
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 135 additions and 295 deletions

View file

@ -26,8 +26,6 @@ pub enum HeaderType<'a> {
/// Only created during canonicalization, never actually parsed from source
Builtin { generates_with: &'a [Symbol] },
Platform {
/// usually `pf` - this is not actually something we parse out of the file.
shorthand: &'a str,
/// the type scheme of the main function (required by the platform)
/// (currently unused)
#[allow(dead_code)]