BNF grammar

[ib00]

Is there a BNF grammar for C3 language? In particular, for the macro system.

[lerno]

You can find the grammar here: https://github.com/c3lang/c3c/tree/master/resources/grammar

[mingodad]

Using the grammar and lexer at https://github.com/c3lang/c3c/blob/master/resources/grammar/grammar.y I've added it to https://mingodad.github.io/parsertl-playground/playground/ , select C3c parser under Examples and ckick Parse to see a parse tree for any c3c code you insert in the Input source editor.

Also you can get an EBNF to be viewd at https://www.bottlecaps.de/rr/ui that generate a railroad diagram (select EBNF grammar from Generate and click Parse).

I hope it can help develop/debug/document the c3c grammar .

The sources are at https://github.com/mingodad/parsertl-playground .

[mingodad]

After checking my adapted grammar and the original bison/flex with all *.c3 files in this repository I found that the grammar is failing behind:

c3c/lib/std/time/time.c3

                               ^
syntax error, unexpected AT_IDENT, expecting ';'
...
c3c/lib/std/collections/list.c3

                                ^
syntax error, unexpected CONST_IDENT, expecting ',' or ';'
...
c3c/lib/std/collections/enumset.c3

                                                                                   ^
                                    syntax error, unexpected AT_IDENT, expecting ';'
...
c3c/lib/std/math/math.random.c3

                                          ^
syntax error, unexpected CONST_IDENT, expecting ')'
...
c3c/resources/examples/notworking/toml_parser_c2.c3

                        ^
syntax error, unexpected TYPE_IDENT, expecting CONST_IDENT or LVEC or '[' or '*'
...
c3c/resources/examples/notworking/http.c3

        ^
syntax error, unexpected CATCH, expecting '}'
...
c3c/resources/examples/notworking/globals.c3

                    ^
syntax error, unexpected CONST_IDENT, expecting SCOPE
...
c3c/resources/examples/notworking/madlibs.c3

                                                   ^
 syntax error, unexpected ELSE, expecting ',' or ';'
...

[lerno]

Thanks, those that are not in "notworking" is fixed now.

[mingodad]

Thanks but still there is some minor problems:

c3c/resources/examples/notworking/globals.c3

                    ^
syntax error, unexpected CONST_IDENT, expecting SCOPE
...
c3c/resources/examples/notworking/http.c3

        ^
syntax error, unexpected CATCH, expecting '}'
...
c3c/resources/examples/notworking/madlibs.c3

                                                   ^
 syntax error, unexpected ELSE, expecting ',' or ';'
...
c3c/resources/examples/notworking/toml_parser_c2.c3

                        ^
syntax error, unexpected TYPE_IDENT, expecting CONST_IDENT or LVEC or '[' or '*'
...
c3c/resources/examples/notworking/toml_tokenizer_c2.c3

                 ^
syntax error, unexpected TYPE_IDENT, expecting CONST_IDENT or LVEC or '[' or '*'
...
c3c/resources/examples/notworking/window.c3

                    ^
syntax error, unexpected CONST_IDENT, expecting SCOPE

Also here is my changes to test the grammar/lexer:

---------------------------- resources/grammar/c3.l ----------------------------
index 6e24cb5d..2576ae53 100644
@@ -185,7 +185,7 @@ b64\`{B64}+\` { count(); return(BYTES); }
 <RAW_STRING>{
 	"``"        { count(); }
 	"`"         { count(); BEGIN(INITIAL); return(STRING_LITERAL); }
-	"*"+        { count(); }
+	[^`]+        { count(); }
 	<<EOF>>     { BEGIN(INITIAL); return(RAW_STRING); }
 }
 
@@ -270,5 +270,5 @@ void count(void)
 		else
 			column++;
 
-	ECHO;
+	//ECHO;
 }

------------------------- resources/grammar/grammar.y -------------------------
index dafba720..993de248 100644
@@ -6,7 +6,7 @@ int yydebug = 1;
 extern char yytext[];
 extern int column;
 int yylex(void);
-void yyerror(char *s);
+void yyerror(const char *s);
 %}
 
 %token IDENT HASH_IDENT CT_IDENT CONST_IDENT
@@ -1248,7 +1248,7 @@ top_level
 
 %%
 
-void yyerror(char *s)
+void yyerror(const char *s)
 {
 	fflush(stdout);
 	printf("\n%*s\n%*s\n", column, "^", column, s);
@@ -1256,6 +1256,7 @@ void yyerror(char *s)
 
 int main(int argc, char *argv[])
 {
-	yyparse();
-	return 0;
+	int rc = yyparse();
+	printf("yyparse return %d\n", rc);
+	return rc;
 }

And here a script to build then:

flex c3.l
bison -d grammar.y
gcc -o c3c-grammar-check grammar.tab.c lex.yy.c

And here a script to check all .c3 files:

#adjust path to match your installation
for fn in `find ../../../c3c -name '*.c3' | sort`
do
     echo $fn
     cat $fn | /usr/bin/time ./c3c-grammar-check
done

[lerno]

Those were all in "notworking", but let me just fix the grammar for those so that they're parsing.

[lerno]

You can test it now.

[mingodad]

Thank you !
But still there is this ones:

../../../c3c/resources/testfragments/sdl2.c3

^
syntax error, unexpected '{', expecting SCOPE
..
../../../c3c/resources/testfragments/sdl_video.c3

         ^
syntax error, unexpected IDENT, expecting SCOPE