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/Core.cf | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Transfer/Core/Core.cf')

diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf
index 790b2815a..c2d9d3175 100644
--- a/src/Transfer/Core/Core.cf
+++ b/src/Transfer/Core/Core.cf
@@ -72,6 +72,10 @@ EType.     Exp5 ::= "Type" ;
 EStr.      Exp5 ::= String ;
 -- Integer literal expressions.
 EInt.      Exp5 ::= Integer ;
+-- Meta variables
+EMeta.     Exp5 ::= TMeta ;
+
+token TMeta ('?' digit+) ;
 
 coercions Exp 5 ;
 
-- 
cgit v1.2.3