From eef20fa404f11fda0b9f73da1a3ee41db3201062 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 29 Nov 2005 15:48:13 +0000 Subject: Added meta variables to transfer front-end and core. --- src/Transfer/Syntax/Par.y | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Transfer/Syntax/Par.y') diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y index d9bb771f6..42a8ec002 100644 --- a/src/Transfer/Syntax/Par.y +++ b/src/Transfer/Syntax/Par.y @@ -38,6 +38,7 @@ import Transfer.ErrM '/' { PT _ (TS "/") } '%' { PT _ (TS "%") } '.' { PT _ (TS ".") } + '?' { PT _ (TS "?") } 'Type' { PT _ (TS "Type") } 'case' { PT _ (TS "case") } 'data' { PT _ (TS "data") } @@ -225,6 +226,7 @@ Exp11 : '{' '}' { EEmptyRec } | 'Type' { EType } | String { EStr $1 } | Integer { EInt $1 } + | '?' { EMeta } | '(' Exp ')' { $2 } -- cgit v1.2.3