import(life): IMPORT crupest/life COMPLETE.

1 files changed, 42 insertions, 0 deletions

diff --git a/works/life/compile-principle-experiment/3/syn.y b/works/life/compile-principle-experiment/3/syn.y
new file mode 100644
index 0000000..80abb17
--- /dev/null
+++ b/works/life/compile-principle-experiment/3/syn.y
@@ -0,0 +1,42 @@
+%{
+#include "main.h"
+#include <stdio.h>
+%}
+%union {
+	double	val;	/* actual value */
+	Symbol	*sym;	/* symbol table pointer */
+}
+%token	<val>	NUMBER
+%token	<sym>	VAR BLTIN UNDEF
+%type	<val>	expr asgn
+%right	'='
+%left	'+' '-'
+%left	'*' '/'
+%left	UNARYMINUS
+%right	'^'	/* exponentiation */
+%%
+list:	  /* nothing */
+	| list '\n'
+	| list asgn '\n'
+	| list expr '\n'	{ printf("\t%.8g\n", $2); }
+	| list error '\n'	{ yyerrok; }
+	;
+asgn:	  VAR '=' expr { $$=$1->value.val=$3; $1->type = VAR; }
+	;
+expr:	  NUMBER
+	| VAR {	if ($1->type == UNDEF)
+		    execerror("undefined variable", $1->name);
+		$$ = $1->value.val; }
+	| BLTIN '(' expr ')'	{ $$ = (*($1->value.ptr))($3); }
+	| expr '+' expr	{ $$ = $1 + $3; }
+	| expr '-' expr	{ $$ = $1 - $3; }
+	| expr '*' expr	{ $$ = $1 * $3; }
+	| expr '/' expr	{
+		if ($3 == 0.0)
+			execerror("division by zero", "");
+		$$ = $1 / $3; }
+	| expr '^' expr	{ $$ = Pow($1, $3); }
+	| '(' expr ')'	{ $$ = $2; }
+	| '-' expr  %prec UNARYMINUS  { $$ = -$2; }
+	;
+%%