Don't try to build Burg if yacc isn't installed.

[jlebar]

Summary

Without this patch, ninja test-suite dies with

CMake Error at MultiSource/Applications/Burg/CMakeLists.txt:17 (add_yacc_parser):
  Unknown CMake command "add_yacc_parser".

I have no idea what I'm doing here in CMake world, please be gentle.

[MatzeB]

What if we just commit the files generated by yacc so we are independent of missing yacc and independent of possible performance changes between yacc versions and implementations?

• Matthias

[MatzeB]

I would also expect that MultiSource/Benchmarks/MallocBench/gawk/CMakeLists.txt is affected by the same problem.

[jlebar]

In D16130#325455, @MatzeB wrote:

I would also expect that MultiSource/Benchmarks/MallocBench/gawk/CMakeLists.txt is affected by the same problem.

Looks like it, although from its parent's CMakeLists.txt, it appears that dir isn't built at all!

I'm looking into whether I can run yacc myself and check in the results, will let you all know.

[jlebar]

Pregenerate Burg's yacc files.

[jlebar]

Please have another look. I didn't touch gawk since it's currently not being built (and frankly, my interest is in making the test-suite build -- I'd prefer to leave the wholesale cleanup to someone else).

[MatzeB]

For some reason I had to manually remove the burg subdirectory from my builddir maybe cmake/clang got confused by earlier bison outputs. Anyway after that this patch worked nicely and I don't see any portability problems in the generated code. LGTM

[jlebar]

Thank you for the review.

[MatzeB]

In D16130#326131, @jlebar wrote:

Please have another look. I didn't touch gawk since it's currently not being built (and frankly, my interest is in making the test-suite build -- I'd prefer to leave the wholesale cleanup to someone else).

Most people are in the same situation (at least I am). Thanks for fixing burg.

MultiSource/Applications/Burg/CMakeLists.txt

 set(PROG burg)
 set(CPPFLAGS -DDEBUG)
 list(APPEND CFLAGS -std=gnu89)
 set(LDFLAGS -lstdc++)
-set(ExtraSource ${CMAKE_CURRENT_BINARY_DIR}/y.tab.c)
 set(STDIN_FILENAME ${CMAKE_CURRENT_SOURCE_DIR}/sample.gr)
 file(GLOB TMP1 ${CMAKE_CURRENT_SOURCE_DIR}/*.c)
 set(Source ${ExtraSource} ${TMP1})
 
 include_directories(${CMAKE_CURRENT_BINARY_DIR})
-add_yacc_parser(burg_parser gram.y ${CMAKE_CURRENT_BINARY_DIR}/y.tab.c ${CMAKE_CURRENT_BINARY_DIR}/y.tab.h)
-    llvm_multisource()

MultiSource/Applications/Burg/Makefile

 LEVEL = ../../..
 
 PROG     = burg
 CPPFLAGS = -DDEBUG
 CFLAGS  += -std=gnu89
 LDFLAGS  = -lstdc++
 
-ExtraSource := y.tab.c
-
 STDIN_FILENAME = $(PROJ_SRC_DIR)/sample.gr
 
 include $(LEVEL)/Makefile.config
 
 Source  := $(ExtraSource) $(wildcard $(PROJ_SRC_DIR)/*.c)
 
 include $(LEVEL)/MultiSource/Makefile.multisrc
 
-#
-# JTC -
-# This is stupid.  I bet we'll yacc twice because of this, but for now it
-# seems to work.  Ideally, these yacc rules should be in a master rule
-# file for the test suite, separate from the LLVM build rules.
-# 
-y.tab.h:: gram.y
-  $(YACC) -d $<
-
-y.tab.c: gram.y
-  $(YACC) -d $<
-
 lex.c: y.tab.h
 
 src:
   echo Sources = $(Source)
 
 clean::
   rm -f y.tab.* gram.cpp gram.h

MultiSource/Applications/Burg/README-LLVM

+y.tab.c and y.tab.h were generated from gram.y using yacc 1.9 20140101.

MultiSource/Applications/Burg/y.tab.h

+#define ERROR 257
+#define K_TERM 258
+#define K_GRAM 259
+#define K_START 260
+#define K_PPERCENT 261
+#define INT 262
+#define ID 263
+#ifdef YYSTYPE
+#undef  YYSTYPE_IS_DECLARED
+#define YYSTYPE_IS_DECLARED 1
+#endif
+#ifndef YYSTYPE_IS_DECLARED
+#define YYSTYPE_IS_DECLARED 1
+typedef union {
+  int y_int;
+  char *y_string;
+  Arity y_arity;
+  Binding y_binding;
+  PatternAST y_patternAST;
+  RuleAST y_ruleAST;
+  List y_list;
+  IntList y_intlist;
+} YYSTYPE;
+#endif /* !YYSTYPE_IS_DECLARED */
+extern YYSTYPE yylval;

MultiSource/Applications/Burg/y.tab.c

+#ifndef lint
+static const char yysccsid[] = "@(#)yaccpar  1.9 (Berkeley) 02/21/93";
+#endif
+
+#define YYBYACC 1
+#define YYMAJOR 1
+#define YYMINOR 9
+#define YYPATCH 20140101
+
+#define YYEMPTY        (-1)
+#define yyclearin      (yychar = YYEMPTY)
+#define yyerrok        (yyerrflag = 0)
+#define YYRECOVERING() (yyerrflag != 0)
+
+#define YYPREFIX "yy"
+
+#define YYPURE 0
+
+#line 2 "gram.y"
+char rcsid_gram[] = "$Id$";
+
+#include <stdio.h>
+#include "b.h"
+#include "fe.h"
+#line 9 "gram.y"
+#ifdef YYSTYPE
+#undef  YYSTYPE_IS_DECLARED
+#define YYSTYPE_IS_DECLARED 1
+#endif
+#ifndef YYSTYPE_IS_DECLARED
+#define YYSTYPE_IS_DECLARED 1
+typedef union {
+  int y_int;
+  char *y_string;
+  Arity y_arity;
+  Binding y_binding;
+  PatternAST y_patternAST;
+  RuleAST y_ruleAST;
+  List y_list;
+  IntList y_intlist;
+} YYSTYPE;
+#endif /* !YYSTYPE_IS_DECLARED */
+#line 43 "y.tab.c"
+
+/* compatibility with bison */
+#ifdef YYPARSE_PARAM
+/* compatibility with FreeBSD */
+# ifdef YYPARSE_PARAM_TYPE
+#  define YYPARSE_DECL() yyparse(YYPARSE_PARAM_TYPE YYPARSE_PARAM)
+# else
+#  define YYPARSE_DECL() yyparse(void *YYPARSE_PARAM)
+# endif
+#else
+# define YYPARSE_DECL() yyparse(void)
+#endif
+
+/* Parameters sent to lex. */
+#ifdef YYLEX_PARAM
+# define YYLEX_DECL() yylex(void *YYLEX_PARAM)
+# define YYLEX yylex(YYLEX_PARAM)
+#else
+# define YYLEX_DECL() yylex(void)
+# define YYLEX yylex()
+#endif
+
+/* Parameters sent to yyerror. */
+#ifndef YYERROR_DECL
+#define YYERROR_DECL() yyerror(const char *s)
+#endif
+#ifndef YYERROR_CALL
+#define YYERROR_CALL(msg) yyerror(msg)
+#endif
+
+extern int YYPARSE_DECL();
+
+#define ERROR 257
+#define K_TERM 258
+#define K_GRAM 259
+#define K_START 260
+#define K_PPERCENT 261
+#define INT 262
+#define ID 263
+#define YYERRCODE 256
+static const short yylhs[] = {                           -1,
+    0,    0,   11,    7,    7,    1,    1,    1,   10,   10,
+    9,    9,    2,    8,    8,    5,    6,    6,    6,    3,
+    3,    4,    4,    4,
+};
+static const short yylen[] = {                            2,
+    1,    2,    3,    0,    2,    2,    2,    2,    0,    2,
+    0,    2,    3,    0,    2,    7,    1,    4,    6,    0,
+    4,    0,    3,    2,
+};
+static const short yydefred[] = {                         4,
+    0,    0,    0,   11,    9,    0,   14,    5,    2,    0,
+    0,    8,    0,    0,   12,   10,    0,   15,    0,    0,
+   13,    0,    0,    0,    0,    0,    0,   18,    0,    0,
+    0,    0,    0,   16,   19,    0,    0,    0,   24,    0,
+   21,   23,
+};
+static const short yydgoto[] = {                          1,
+    8,   15,   31,   38,   18,   23,    2,   13,   10,   11,
+    3,
+};
+static const short yysindex[] = {                         0,
+    0, -247, -252,    0,    0, -244,    0,    0,    0, -242,
+ -236,    0, -234,  -41,    0,    0,  -28,    0, -231, -230,
+    0,  -12,  -29, -230, -228,  -37,   -5,    0, -230, -226,
+  -22,   -3,  -44,    0,    0,  -44, -223,   -1,    0,  -44,
+    0,    0,
+};
+static const short yyrindex[] = {                         0,
+    0,    0,   41,    0,    0,    0,    0,    0,    0, -243,
+ -235,    0,    1,    0,    0,    0,    0,    0,    0,    0,
+    0,  -39,    0,    0,    0,    0,  -17,    0,    0,    0,
+    0,    0,    2,    0,    0,    2,    0,    0,    0,    2,
+    0,    0,
+};
+static const short yygindex[] = {                         0,
+    0,    0,    0,  -30,    0,  -21,    0,    0,    0,    0,
+    0,
+};
+#define YYTABLESIZE 262
+static const short yytable[] = {                         37,
+    3,   17,   26,   28,   17,   39,   29,   32,    9,   42,
+    4,    5,    6,    7,    6,    6,    6,    6,   12,   19,
+   14,   17,    7,    7,    7,    7,   16,   24,   17,   20,
+   21,   25,   22,   27,   30,   33,   34,   35,   40,   41,
+    1,   20,   22,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,   36,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    3,
+};
+static const short yycheck[] = {                         44,
+    0,   41,   24,   41,   44,   36,   44,   29,  261,   40,
+  258,  259,  260,  261,  258,  259,  260,  261,  263,   61,
+  263,   61,  258,  259,  260,  261,  263,   40,  263,   58,
+  262,   61,  263,  262,   40,  262,   59,   41,  262,   41,
+    0,   59,   41,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,  262,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,  261,
+};
+#define YYFINAL 1
+#ifndef YYDEBUG
+#define YYDEBUG 0
+#endif
+#define YYMAXTOKEN 263
+#define YYTRANSLATE(a) ((a) > YYMAXTOKEN ? (YYMAXTOKEN + 1) : (a))
+#if YYDEBUG
+static const char *yyname[] = {
+
+"end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,"'('","')'",0,0,"','",0,0,0,0,0,0,0,0,0,0,0,0,0,"':'","';'",0,"'='",
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"ERROR",
+"K_TERM","K_GRAM","K_START","K_PPERCENT","INT","ID","illegal-symbol",
+};
+static const char *yyrule[] = {
+"$accept : full",
+"full : spec",
+"full : spec K_PPERCENT",
+"spec : decls K_PPERCENT rules",
+"decls :",
+"decls : decls decl",
+"decl : K_TERM bindinglist",
+"decl : K_GRAM grammarlist",
+"decl : K_START ID",
+"grammarlist :",
+"grammarlist : grammarlist ID",
+"bindinglist :",
+"bindinglist : bindinglist binding",
+"binding : ID '=' INT",
+"rules :",
+"rules : rules rule",
+"rule : ID ':' pattern '=' INT cost ';'",
+"pattern : ID",
+"pattern : ID '(' pattern ')'",
+"pattern : ID '(' pattern ',' pattern ')'",
+"cost :",
+"cost : '(' INT costtail ')'",
+"costtail :",
+"costtail : ',' INT costtail",
+"costtail : INT costtail",
+
+};
+#endif
+
+int      yydebug;
+int      yynerrs;
+
+int      yyerrflag;
+int      yychar;
+YYSTYPE  yyval;
+YYSTYPE  yylval;
+
+/* define the initial stack-sizes */
+#ifdef YYSTACKSIZE
+#undef YYMAXDEPTH
+#define YYMAXDEPTH  YYSTACKSIZE
+#else
+#ifdef YYMAXDEPTH
+#define YYSTACKSIZE YYMAXDEPTH
+#else
+#define YYSTACKSIZE 10000
+#define YYMAXDEPTH  10000
+#endif
+#endif
+
+#define YYINITSTACKSIZE 200
+
+typedef struct {
+    unsigned stacksize;
+    short    *s_base;
+    short    *s_mark;
+    short    *s_last;
+    YYSTYPE  *l_base;
+    YYSTYPE  *l_mark;
+} YYSTACKDATA;
+/* variables for the parser stack */
+static YYSTACKDATA yystack;
+
+#if YYDEBUG
+#include <stdio.h>    /* needed for printf */
+#endif
+
+#include <stdlib.h> /* needed for malloc, etc */
+#include <string.h> /* needed for memset */
+
+/* allocate initial stack or double stack size, up to YYMAXDEPTH */
+static int yygrowstack(YYSTACKDATA *data)
+{
+    int i;
+    unsigned newsize;
+    short *newss;
+    YYSTYPE *newvs;
+
+    if ((newsize = data->stacksize) == 0)
+        newsize = YYINITSTACKSIZE;
+    else if (newsize >= YYMAXDEPTH)
+        return -1;
+    else if ((newsize *= 2) > YYMAXDEPTH)
+        newsize = YYMAXDEPTH;
+
+    i = (int) (data->s_mark - data->s_base);
+    newss = (short *)realloc(data->s_base, newsize * sizeof(*newss));
+    if (newss == 0)
+        return -1;
+
+    data->s_base = newss;
+    data->s_mark = newss + i;
+
+    newvs = (YYSTYPE *)realloc(data->l_base, newsize * sizeof(*newvs));
+    if (newvs == 0)
+        return -1;
+
+    data->l_base = newvs;
+    data->l_mark = newvs + i;
+
+    data->stacksize = newsize;
+    data->s_last = data->s_base + newsize - 1;
+    return 0;
+}
+
+#if YYPURE || defined(YY_NO_LEAKS)
+static void yyfreestack(YYSTACKDATA *data)
+{
+    free(data->s_base);
+    free(data->l_base);
+    memset(data, 0, sizeof(*data));
+}
+#else
+#define yyfreestack(data) /* nothing */
+#endif
+
+#define YYABORT  goto yyabort
+#define YYREJECT goto yyabort
+#define YYACCEPT goto yyaccept
+#define YYERROR  goto yyerrlab
+
+int
+YYPARSE_DECL()
+{
+    int yym, yyn, yystate;
+#if YYDEBUG
+    const char *yys;
+
+    if ((yys = getenv("YYDEBUG")) != 0)
+    {
+        yyn = *yys;
+        if (yyn >= '0' && yyn <= '9')
+            yydebug = yyn - '0';
+    }
+#endif
+
+    yynerrs = 0;
+    yyerrflag = 0;
+    yychar = YYEMPTY;
+    yystate = 0;
+
+#if YYPURE
+    memset(&yystack, 0, sizeof(yystack));
+#endif
+
+    if (yystack.s_base == NULL && yygrowstack(&yystack)) goto yyoverflow;
+    yystack.s_mark = yystack.s_base;
+    yystack.l_mark = yystack.l_base;
+    yystate = 0;
+    *yystack.s_mark = 0;
+
+yyloop:
+    if ((yyn = yydefred[yystate]) != 0) goto yyreduce;
+    if (yychar < 0)
+    {
+        if ((yychar = YYLEX) < 0) yychar = 0;
+#if YYDEBUG
+        if (yydebug)
+        {
+            yys = yyname[YYTRANSLATE(yychar)];
+            printf("%sdebug: state %d, reading %d (%s)\n",
+                    YYPREFIX, yystate, yychar, yys);
+        }
+#endif
+    }
+    if ((yyn = yysindex[yystate]) && (yyn += yychar) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
+    {
+#if YYDEBUG
+        if (yydebug)
+            printf("%sdebug: state %d, shifting to state %d\n",
+                    YYPREFIX, yystate, yytable[yyn]);
+#endif
+        if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
+        {
+            goto yyoverflow;
+        }
+        yystate = yytable[yyn];
+        *++yystack.s_mark = yytable[yyn];
+        *++yystack.l_mark = yylval;
+        yychar = YYEMPTY;
+        if (yyerrflag > 0)  --yyerrflag;
+        goto yyloop;
+    }
+    if ((yyn = yyrindex[yystate]) && (yyn += yychar) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
+    {
+        yyn = yytable[yyn];
+        goto yyreduce;
+    }
+    if (yyerrflag) goto yyinrecovery;
+
+    yyerror("syntax error");
+
+    goto yyerrlab;
+
+yyerrlab:
+    ++yynerrs;
+
+yyinrecovery:
+    if (yyerrflag < 3)
+    {
+        yyerrflag = 3;
+        for (;;)
+        {
+            if ((yyn = yysindex[*yystack.s_mark]) && (yyn += YYERRCODE) >= 0 &&
+                    yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE)
+            {
+#if YYDEBUG
+                if (yydebug)
+                    printf("%sdebug: state %d, error recovery shifting\
+ to state %d\n", YYPREFIX, *yystack.s_mark, yytable[yyn]);
+#endif
+                if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
+                {
+                    goto yyoverflow;
+                }
+                yystate = yytable[yyn];
+                *++yystack.s_mark = yytable[yyn];
+                *++yystack.l_mark = yylval;
+                goto yyloop;
+            }
+            else
+            {
+#if YYDEBUG
+                if (yydebug)
+                    printf("%sdebug: error recovery discarding state %d\n",
+                            YYPREFIX, *yystack.s_mark);
+#endif
+                if (yystack.s_mark <= yystack.s_base) goto yyabort;
+                --yystack.s_mark;
+                --yystack.l_mark;
+            }
+        }
+    }
+    else
+    {
+        if (yychar == 0) goto yyabort;
+#if YYDEBUG
+        if (yydebug)
+        {
+            yys = yyname[YYTRANSLATE(yychar)];
+            printf("%sdebug: state %d, error recovery discards token %d (%s)\n",
+                    YYPREFIX, yystate, yychar, yys);
+        }
+#endif
+        yychar = YYEMPTY;
+        goto yyloop;
+    }
+
+yyreduce:
+#if YYDEBUG
+    if (yydebug)
+        printf("%sdebug: state %d, reducing by rule %d (%s)\n",
+                YYPREFIX, yystate, yyn, yyrule[yyn]);
+#endif
+    yym = yylen[yyn];
+    if (yym)
+        yyval = yystack.l_mark[1-yym];
+    else
+        memset(&yyval, 0, sizeof yyval);
+    switch (yyn)
+    {
+case 2:
+#line 44 "gram.y"
+  { yyfinished(); }
+break;
+case 3:
+#line 48 "gram.y"
+  { doSpec(yystack.l_mark[-2].y_list, yystack.l_mark[0].y_list); }
+break;
+case 4:
+#line 51 "gram.y"
+  { yyval.y_list = 0; }
+break;
+case 5:
+#line 52 "gram.y"
+  { yyval.y_list = newList(yystack.l_mark[0].y_arity, yystack.l_mark[-1].y_list); }
+break;
+case 6:
+#line 55 "gram.y"
+  { yyval.y_arity = newArity(-1, yystack.l_mark[0].y_list); }
+break;
+case 7:
+#line 56 "gram.y"
+  { yyval.y_arity = 0; doGram(yystack.l_mark[0].y_list); }
+break;
+case 8:
+#line 57 "gram.y"
+  { yyval.y_arity = 0; doStart(yystack.l_mark[0].y_string); }
+break;
+case 9:
+#line 60 "gram.y"
+  { yyval.y_list = 0; }
+break;
+case 10:
+#line 61 "gram.y"
+  { yyval.y_list = newList(yystack.l_mark[0].y_string, yystack.l_mark[-1].y_list); }
+break;
+case 11:
+#line 64 "gram.y"
+  { yyval.y_list = 0; }
+break;
+case 12:
+#line 65 "gram.y"
+  { yyval.y_list = newList(yystack.l_mark[0].y_binding, yystack.l_mark[-1].y_list); }
+break;
+case 13:
+#line 68 "gram.y"
+  { yyval.y_binding = newBinding(yystack.l_mark[-2].y_string, yystack.l_mark[0].y_int); }
+break;
+case 14:
+#line 71 "gram.y"
+  { yyval.y_list = 0; }
+break;
+case 15:
+#line 72 "gram.y"
+  { yyval.y_list = newList(yystack.l_mark[0].y_ruleAST, yystack.l_mark[-1].y_list); }
+break;
+case 16:
+#line 75 "gram.y"
+  { yyval.y_ruleAST = newRuleAST(yystack.l_mark[-6].y_string, yystack.l_mark[-4].y_patternAST, yystack.l_mark[-2].y_int, yystack.l_mark[-1].y_intlist); }
+break;
+case 17:
+#line 78 "gram.y"
+  { yyval.y_patternAST = newPatternAST(yystack.l_mark[0].y_string, 0); }
+break;
+case 18:
+#line 79 "gram.y"
+  { yyval.y_patternAST = newPatternAST(yystack.l_mark[-3].y_string, newList(yystack.l_mark[-1].y_patternAST,0)); }
+break;
+case 19:
+#line 80 "gram.y"
+  { yyval.y_patternAST = newPatternAST(yystack.l_mark[-5].y_string, newList(yystack.l_mark[-3].y_patternAST, newList(yystack.l_mark[-1].y_patternAST, 0))); }
+break;
+case 20:
+#line 83 "gram.y"
+  { yyval.y_intlist = 0; }
+break;
+case 21:
+#line 84 "gram.y"
+  { yyval.y_intlist = newIntList(yystack.l_mark[-2].y_int, yystack.l_mark[-1].y_intlist); }
+break;
+case 22:
+#line 87 "gram.y"
+  { yyval.y_intlist = 0; }
+break;
+case 23:
+#line 88 "gram.y"
+  { yyval.y_intlist = newIntList(yystack.l_mark[-1].y_int, yystack.l_mark[0].y_intlist); }
+break;
+case 24:
+#line 89 "gram.y"
+  { yyval.y_intlist = newIntList(yystack.l_mark[-1].y_int, yystack.l_mark[0].y_intlist); }
+break;
+#line 555 "y.tab.c"
+    }
+    yystack.s_mark -= yym;
+    yystate = *yystack.s_mark;
+    yystack.l_mark -= yym;
+    yym = yylhs[yyn];
+    if (yystate == 0 && yym == 0)
+    {
+#if YYDEBUG
+        if (yydebug)
+            printf("%sdebug: after reduction, shifting from state 0 to\
+ state %d\n", YYPREFIX, YYFINAL);
+#endif
+        yystate = YYFINAL;
+        *++yystack.s_mark = YYFINAL;
+        *++yystack.l_mark = yyval;
+        if (yychar < 0)
+        {
+            if ((yychar = YYLEX) < 0) yychar = 0;
+#if YYDEBUG
+            if (yydebug)
+            {
+                yys = yyname[YYTRANSLATE(yychar)];
+                printf("%sdebug: state %d, reading %d (%s)\n",
+                        YYPREFIX, YYFINAL, yychar, yys);
+            }
+#endif
+        }
+        if (yychar == 0) goto yyaccept;
+        goto yyloop;
+    }
+    if ((yyn = yygindex[yym]) && (yyn += yystate) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yystate)
+        yystate = yytable[yyn];
+    else
+        yystate = yydgoto[yym];
+#if YYDEBUG
+    if (yydebug)
+        printf("%sdebug: after reduction, shifting from state %d \
+to state %d\n", YYPREFIX, *yystack.s_mark, yystate);
+#endif
+    if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
+    {
+        goto yyoverflow;
+    }
+    *++yystack.s_mark = (short) yystate;
+    *++yystack.l_mark = yyval;
+    goto yyloop;
+
+yyoverflow:
+    yyerror("yacc stack overflow");
+
+yyabort:
+    yyfreestack(&yystack);
+    return (1);
+
+yyaccept:
+    yyfreestack(&yystack);
+    return (0);
+}