Add HeaderType::Package

This commit is contained in:
Richard Feldman 2022-12-13 06:44:02 -05:00
parent 51c919993a
commit 7512a964f7
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 17 additions and 2 deletions

View file

@ -24,6 +24,10 @@ pub enum HeaderType<'a> {
name: ModuleName<'a>,
generates_with: &'a [Symbol],
},
Package {
/// usually something other than `pf`
config_shorthand: &'a str,
},
Platform {
opt_app_module_id: Option<ModuleId>,
/// the name and type scheme of the main function (required by the platform)