From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 3 Jan 2020 07:44:21 +0000 (+0000)
Subject: lexer: Fix parsing of { characters in CODE sections.
X-Git-Tag: v'0.2'~107
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5c8290d1d50fdda7b69641242aced87eea0c267b;p=goals.git

lexer: Fix parsing of { characters in CODE sections.
---

diff --git a/src/lexer.mll b/src/lexer.mll
index fa73312..4a316a0 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -107,7 +107,8 @@ and read_string buf =
  *)
 and read_code buf level =
     parse
-    | '{'     { incr level; read_code buf level lexbuf }
+    | '{'     { Ast.Substs.add_char buf '{';
+                incr level; read_code buf level lexbuf }
     | '}'     { decr level;
                 if !level = 0 then CODE (Ast.Substs.get buf)
                 else (