greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Mutable types

Browse Source 
This bit of syntax is meant for extendable enum types
This commit is contained in:
greg 2018-07-11 20:40:55 -07:00
parent f7dbbddad1
commit 65c2cd521b
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
schala-lang/src/parsing.rs
View File

@ -27,7 +27,7 @@ declaration := type_declaration | func_declaration | binding_declaration | impl_
/* Declarations - Types */ /* Declarations - Types */
type_declaration := 'type' type_declaration_body type_declaration := 'type' type_declaration_body
type_declaration_body := 'alias' type_alias | type_singleton_name '=' type_body type_declaration_body := 'alias' type_alias | 'mut'? type_singleton_name '=' type_body
type_alias := IDENTIFIER '=' type_name type_alias := IDENTIFIER '=' type_name
type_body := variant_specifier ('|' variant_specifier)* type_body := variant_specifier ('|' variant_specifier)*
variant_specifier := IDENTIFIER | IDENTIFIER '{' typed_identifier_list '}' | IDENTIFIER '(' type_name* ')' variant_specifier := IDENTIFIER | IDENTIFIER '{' typed_identifier_list '}' | IDENTIFIER '(' type_name* ')'
@ -316,6 +316,10 @@ impl Parser {
if let Keyword(Alias) = self.peek() { if let Keyword(Alias) = self.peek() {
self.type_alias() self.type_alias()
} else { } else {
if let Keyword(Mut) = self.peek() {
self.next();
//TODO make this part of the type
}
let name = self.type_singleton_name()?; let name = self.type_singleton_name()?;
expect!(self, Operator(ref c) if **c == "="); expect!(self, Operator(ref c) if **c == "=");
let body = self.type_body()?; let body = self.type_body()?;