From f9ba2767125535be711ec40b45ad3e34b2cb29e0 Mon Sep 17 00:00:00 2001
From: Sven Gestegard Robertz <sven.robertz@cs.lth.se>
Date: Wed, 4 Mar 2015 14:31:31 +0100
Subject: [PATCH] tech-report: fixed mistake in grammar
---
doc/tech_report.tex | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/doc/tech_report.tex b/doc/tech_report.tex
index 651076d..62a2f2e 100644
--- a/doc/tech_report.tex
+++ b/doc/tech_report.tex
@@ -854,9 +854,9 @@ The built-in data types are encoded as follows:
<type_binding> |
<sample_data> )
<version> := <string>
-<sample_decl> := <sample_id> <string> <type>
-<sample_ref> := <sample_id> <string> <type>
-<type_decl> := <type_id> <string> <type>
+<sample_decl> := <sample_id> <string> <signature>
+<sample_ref> := <sample_id> <string> <signature>
+<type_decl> := <type_id> <string> <signature>
<type_binding> := <sample_id> <type_id>
<user_id> := 0x40..0xffffffff
<sample_id> : <user_id>
@@ -864,6 +864,7 @@ The built-in data types are encoded as follows:
<string> := <string_length> <char>*
<string_length> := 0x00..0xffffffff
<char> := any UTF-8 char
+<signature> := <length> <type>
<type> := <length> ( <basic_type> |
<array_decl> |
<struct_decl> |
--
GitLab