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/Syntax/Syntax.cf | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 54866508b..1c4ecb559 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -99,6 +99,7 @@ EVar.      Exp11 ::= Ident ;
 EType.     Exp11 ::= "Type" ;
 EStr.      Exp11 ::= String ;
 EInt.      Exp11 ::= Integer ;
+EMeta.     Exp11 ::= "?" ;
 
 coercions Exp 11 ;
 
-- 
cgit v1.2.3