Revert "WIP try combining PlatformHeaderInfo & HeaderInfo"

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

View file

@ -26,6 +26,8 @@ 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)]