Move platform_main_type into provides

This commit is contained in:
Richard Feldman 2022-12-09 14:19:07 -05:00
parent 97332e4af1
commit 29182d8292
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 18 additions and 15 deletions

View file

@ -28,16 +28,14 @@ pub enum HeaderType<'a> {
Platform {
name: PackageName<'a>,
opt_app_module_id: Option<ModuleId>,
provides: &'a [Loc<ExposedName<'a>>],
/// the name and type scheme of the main function (required by the platform)
/// (type scheme is currently unused)
provides: &'a [(Loc<ExposedName<'a>>, Loc<TypedIdent<'a>>)],
requires: &'a [Loc<TypedIdent<'a>>],
requires_types: &'a [Loc<UppercaseIdent<'a>>],
/// usually `pf`
config_shorthand: &'a str,
/// the type scheme of the main function (required by the platform)
/// (currently unused)
#[allow(dead_code)]
platform_main_type: TypedIdent<'a>,
},
Interface {
name: ModuleName<'a>,