From eef20fa404f11fda0b9f73da1a3ee41db3201062 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 29 Nov 2005 15:48:13 +0000
Subject: Added meta variables to transfer front-end and core.

---
 src/Transfer/Core/Doc.tex | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/Transfer/Core/Doc.tex')

diff --git a/src/Transfer/Core/Doc.tex b/src/Transfer/Core/Doc.tex
index 431aa1e54..c3f95fedc 100644
--- a/src/Transfer/Core/Doc.tex
+++ b/src/Transfer/Core/Doc.tex
@@ -34,6 +34,10 @@ Integer literals \nonterminal{Int}\ are nonempty sequences of digits.
 
 
 
+
+TMeta literals are recognized by the regular expression
+\(\mbox{`?'} {\nonterminal{digit}}+\)
+
 CIdent literals are recognized by the regular expression
 \(({\nonterminal{letter}} \mid \mbox{`\_'}) ({\nonterminal{letter}} \mid {\nonterminal{digit}} \mid \mbox{`\_'} \mid \mbox{`''})*\)
 
@@ -162,6 +166,7 @@ All other symbols are terminals.\\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
+ & {\delimit}  &{\nonterminal{TMeta}}  \\
  & {\delimit}  &{\terminal{(}} {\nonterminal{Exp}} {\terminal{)}}  \\
 \end{tabular}\\
 
-- 
cgit v1.2.3

