Working on BNF a little more, ugh

1 files changed, 201 insertions, 44 deletions

diff --git a/bnf/rust.y b/bnf/rust.y
index ec3ba9cc..b3172e51 100644
--- a/bnf/rust.y
+++ b/bnf/rust.y
@@ -1,17 +1,48 @@
-%token IDENT LIFETIME STRING INTEGER FLOAT 
-%token SUPER_ATTR SUB_ATTR
-%token DOUBLECOLON
-%token RWD_mod RWD_fn RWD_const RWD_static RWD_use
-%token RWD_as RWD_mut RWD_where
+%token <text> IDENT LIFETIME STRING
+%token <integer> INTEGER CHARLIT
+%token <realnum> FLOAT 
+%token SUPER_ATTR SUB_ATTR DOC_COMMENT SUPER_DOC_COMMENT
+%token DOUBLECOLON THINARROW FATARROW DOUBLEDOT TRIPLEDOT
+%token RWD_mod RWD_fn RWD_const RWD_static RWD_use RWD_struct RWD_enum RWD_trait RWD_impl RWD_type
+%token RWD_as RWD_mut RWD_pub RWD_where
+%token RWD_let
 %token RWD_self RWD_super
+%token RWD_match RWD_if RWD_while RWD_loop RWD_for RWD_else
 %start crate
 
 %union {
 	char *text;
+	unsigned long long	integer;
+	double	realnum;
 }
 
 %debug
 
+%{
+#include <stdio.h>
+#include <stdarg.h>
+extern int yylineno;
+
+static inline void bnf_trace(const char* fmt, ...) {
+	fprintf(stderr, "\x1b[32m""TRACE: ");
+	va_list	args;
+	va_start(args, fmt);
+	vfprintf(stderr, fmt, args);
+	va_end(args);
+	fprintf(stderr, "\x1b[0m\n");
+}
+#define YYPRINT(f,t,v)	yyprint(f,t,v)
+static void yyprint(FILE *outstream, int type, YYSTYPE value)
+{
+	switch(type)
+	{
+	case IDENT: fprintf(outstream, "%s", value.text); break;
+	default:
+		break;
+	}
+}
+%}
+
 %%
 
 /*
@@ -25,17 +56,31 @@ super_attrs
  : super_attrs super_attr
  | ;
 
+opt_pub
+ : RWD_pub	{ bnf_trace("public"); }
+ | /* mt */	{ bnf_trace("private"); }
+ ;
+opt_comma: | ',';
+
 module_body
- : attrs item module_body
+ : module_body attrs item
  | ;
 
 attrs
  : attrs attr
  | ;
 
-super_attr : SUPER_ATTR meta_items ']'
-attr : SUB_ATTR meta_items ']';
-meta_items: meta_item | meta_items ',' meta_item | ;
+super_attr
+ : SUPER_ATTR meta_items ']'
+ | SUPER_DOC_COMMENT
+ ;
+attr
+ : SUB_ATTR meta_items ']'
+ | DOC_COMMENT
+ ;
+meta_items
+ : meta_item
+ | meta_items ',' meta_item;
 meta_item
  : IDENT '(' meta_items ')'
  | IDENT '=' STRING
@@ -49,35 +94,35 @@ Root Items
 ==========================
 */
 item
- : RWD_mod module_def
- | RWD_fn fn_def
- | RWD_use use_def
- | RWD_static static_def
+ : opt_pub RWD_mod module_def
+ | opt_pub RWD_fn fn_def
+ | opt_pub RWD_use use_def
+ | opt_pub RWD_static static_def
+ | opt_pub RWD_struct struct_def
+ | opt_pub RWD_enum enum_def
+ | opt_pub RWD_trait trait_def
+ | RWD_impl impl_def
  ;
-/* | struct_def
- | enum_def
- | trait_def
- ;*/
 
 module_def
  : IDENT '{' module_body '}'
  | IDENT ';'
  ;
 
-fn_def: IDENT generic_def '(' fn_def_args ')' fn_def_ret where_clause '{' code '}';
+/* --- Function --- */
+fn_def: IDENT generic_def '(' fn_def_args ')' fn_def_ret where_clause code	{ bnf_trace("function %s", $1); };
 
-fn_def_ret
- : '-' '>' type
- | ;
+fn_def_ret: /* -> () */ | THINARROW type;
 
 fn_def_args : fn_def_args fn_def_arg | ;
 fn_def_arg : irrefutable_pattern ':' type;
 
+/* --- Use --- */
 use_def
- : path RWD_as IDENT ';'
- | path '*' ';'
- | path '{' use_picks '}' ';'
- | path ';'
+ : use_path RWD_as IDENT ';'
+ | use_path '*' ';'
+ | use_path '{' use_picks '}' ';'
+ | use_path ';'
 /* | RWD_use error ';' */
  ;
 use_picks
@@ -87,38 +132,96 @@ use_picks
 path_item: IDENT | RWD_self;
 
 
+/* --- Static/Const --- */
 static_def
- : IDENT ':' type '=' expr ';'
- | RWD_mut IDENT ':' type '=' expr ';'
+ : IDENT ':' type '=' const_value
+ | RWD_mut IDENT ':' type '=' const_value
  ;
+const_def
+ : IDENT ':' type '=' const_value
+ ;
+const_value
+ : expr ';'
+ | error ';' { yyerror("Syntax error in constant expression"); }
+ ;
+
+/* --- Struct --- */
+struct_def
+ : IDENT generic_def ';'	{ bnf_trace("unit-like struct"); }
+ | IDENT generic_def '(' tuple_struct_def_items opt_comma ')'	{ bnf_trace("tuple struct"); }
+ | IDENT generic_def '{' struct_def_items opt_comma '}'	{ bnf_trace("normal struct"); }
+ ;
+
+tuple_struct_def_items
+ : tuple_struct_def_items ',' tuple_struct_def_item
+ | tuple_struct_def_item
+ ;
+tuple_struct_def_item: attrs opt_pub type;
+
+struct_def_items
+ : /*struct_def_items ',' struct_def_item
+ |*/ struct_def_item { bnf_trace("struct_def_item"); }
+ ;
+struct_def_item: attrs opt_pub IDENT ':' type;
+
+/* --- Enum --- */
+enum_def:
+ ;
+/* --- Trait --- */
+trait_def:
+ ;
+/* --- Impl --- */
+impl_def
+ : generic_def type_path RWD_for type '{' impl_items '}'
+ | generic_def type_path RWD_for DOUBLEDOT '{' impl_items '}'
+ | generic_def type '{' impl_items '}'
+ ;
+impl_items: | impl_items attrs impl_item;
+impl_item
+ : opt_pub RWD_fn fn_def
+ : opt_pub RWD_type generic_def IDENT '=' type ';'
+ ;
+
 
 /* Generic paramters */
-generic_def : '<' generic_def_list '>' | ;
+generic_def : /* mt */ | '<' generic_def_list '>' { bnf_trace("generic_def_list"); };
 generic_def_list : generic_def_one | generic_def_list ',' generic_def_one | ;
 generic_def_one
  : IDENT '=' type ':' bounds
  | IDENT '=' type
- | IDENT ':' bounds
+ | IDENT ':' bounds { bnf_trace("bounded ident"); }
  | IDENT ;
 
-where_clause: RWD_where where_clauses;
+where_clause: | RWD_where where_clauses;
 where_clauses
 	: where_clause_ent ',' where_clauses
 	| where_clause_ent;
 where_clause_ent
 	: type ':' bounds;
 bounds: bounds '+' bound | bound;
-bound: LIFETIME | path;
+bound: LIFETIME | type_path;
 
 /*
 =========================================
 Paths
 =========================================
 */
-path
- : path DOUBLECOLON IDENT
+use_path
+ : use_path DOUBLECOLON IDENT
  | IDENT;
 
+expr_path
+ : ufcs_path DOUBLECOLON IDENT
+ | DOUBLECOLON expr_path_segs
+ | expr_path_segs
+ ;
+expr_path_segs
+ : IDENT DOUBLECOLON '<' type_exprs '>'
+ | IDENT DOUBLECOLON '<' type_exprs '>' DOUBLECOLON expr_path_segs
+ | IDENT DOUBLECOLON expr_path_segs
+ | IDENT
+ ;
+
 type_path
  : ufcs_path DOUBLECOLON IDENT
  | DOUBLECOLON type_path_segs
@@ -126,11 +229,10 @@ type_path
  ;
 ufcs_path: '<' type RWD_as type_path '>';
 type_path_segs
- : type_path_segs DOUBLECOLON IDENT
- | type_path_segs DOUBLECOLON IDENT '<' type_exprs '>'
- | IDENT '<' type_exprs '>'
- | IDENT
+ : type_path_segs DOUBLECOLON type_path_seg
+ | type_path_seg
  ;
+type_path_seg: IDENT | IDENT '<' type_exprs '>';
 type_exprs: type_exprs ',' type | type;
 
 /*
@@ -164,11 +266,27 @@ tuple_pattern: '(' ')';
 bind_pattern: IDENT;
 
 struct_pattern
-	: path '{' '}'
-	| path tuple_pattern
+	: type_path '{' '}'
+	| type_path tuple_pattern
 	;
 
-//refutable_pattern: ;
+refutable_pattern
+ : IDENT	{ /* maybe bind */ }
+ | IDENT '@' nonbind_pattern;
+ | '&' refutable_pattern
+ | nonbind_pattern;
+
+nonbind_pattern
+ : '_'	{ }
+ | DOUBLEDOT	{ }
+ | type_path '(' refutable_pattern_list opt_comma ')'
+ | type_path '{' refutable_struct_patern '}'
+ | type_path
+/* | '&' nonbind_pattern */
+ ;
+
+refutable_pattern_list: refutable_pattern_list ',' refutable_pattern | refutable_pattern;
+refutable_struct_patern: /* TODO */;
 
 
 /*
@@ -176,7 +294,46 @@ struct_pattern
 Expressions!
 =========================================
 */
-code:
-	expr;
-expr:
-	'!'
+code: '{' block_contents '}'	{ bnf_trace("code parsed"); };
+
+block_contents: block_contents block_line | ;
+block_line
+ : RWD_let let_binding ';'
+ | stmt
+ | expr
+ ;
+
+opt_type_annotation: | ':' type;
+let_binding
+ : irrefutable_pattern opt_type_annotation '=' expr
+ | irrefutable_pattern opt_type_annotation
+
+stmt
+ : expr ';'
+ ;
+
+expr: expr_blocks;
+
+expr_blocks
+ : RWD_match expr '{' match_arms opt_comma '}'	{ }
+ | expr_value
+ ;
+match_arms
+ : match_arms ',' match_arm
+ | match_arm
+ ;
+match_arm: refutable_pattern FATARROW expr	{ };
+
+expr_value
+ : CHARLIT | INTEGER | FLOAT | STRING
+ | expr_path '(' expr_list ')'	{ bnf_trace("function call"); }
+ | expr_path '{' struct_literal_list '}'
+ | expr_path
+ | '(' expr ')'
+ ;
+
+expr_list: expr_list ',' expr | expr | /* mt */;
+
+struct_literal_list:
+	struct_literal_list IDENT ':' expr | ;
+