Correct the generated bison parser for Bytes (#2620)

* Don't enquote Bytes tokens in bison parser

* Add test

Co-authored-by: rv-jenkins <[email protected]>

k-distribution/tests/regression-new/kast-bison-bytes/.gitignore

@@ -0,0 +1 @@
+bison_parser

k-distribution/tests/regression-new/kast-bison-bytes/1.kast-bison

@@ -0,0 +1 @@
+b"\x00\x0f"

k-distribution/tests/regression-new/kast-bison-bytes/1.kast-bison.out

@@ -0,0 +1 @@
+inj{SortBytes{}, SortPgm{}}(\dv{SortBytes{}}("\x00\x0f"))

k-distribution/tests/regression-new/kast-bison-bytes/Makefile

@@ -0,0 +1,8 @@
+DEF=kast-in
+EXT=kast-in
+TESTDIR=.
+KOMPILE_BACKEND=llvm
+KAST_FLAGS=--gen-parser
+CHECK=| diff -
+
+include ../../../include/kframework/ktest.mak

k-distribution/tests/regression-new/kast-bison-bytes/kast-in.k

@@ -0,0 +1,12 @@
+// Copyright (c) 2019 K Team. All Rights Reserved.
+
+module KAST-IN-SYNTAX
+  imports BYTES-SYNTAX
+
+  syntax Pgm ::= Bytes
+endmodule
+
+module KAST-IN
+  imports KAST-IN-SYNTAX
+  configuration <k> $PGM:Pgm </k>
+endmodule

kernel/src/main/java/org/kframework/parser/inner/kernel/KSyntax2Bison.java

@@ -360,11 +360,15 @@ private static void processProduction(Production prod, Module module, Module dis
           "  node *n = malloc(sizeof(node));\n" +
           "  n->symbol = ");
       boolean isString = module.sortAttributesFor().get(prod.sort().head()).getOrElse(() -> Att.empty()).getOptional("hook").orElse("").equals("STRING.String");
-      if (!isString) {
+      boolean isBytes  = module.sortAttributesFor().get(prod.sort().head()).getOrElse(() -> Att.empty()).getOptional("hook").orElse("").equals("BYTES.Bytes");
+      if (!isString && !isBytes) {
         bison.append("enquote(");
       }
       bison.append("$1.token");
-      if (!isString) {
+      if (isBytes) {
+        bison.append("+1"); // skip the first 'b' char
+      }
+      if (!isString && !isBytes) {
         bison.append(")");
       }
       bison.append(";\n" +