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/Lex.x | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Transfer/Core/Lex.x')

diff --git a/src/Transfer/Core/Lex.x b/src/Transfer/Core/Lex.x
index 6946d5fe8..10a286d66 100644
--- a/src/Transfer/Core/Lex.x
+++ b/src/Transfer/Core/Lex.x
@@ -24,6 +24,7 @@ $u = [\0-\255]          -- universal: any character
 
 $white+ ;
 @rsyms { tok (\p s -> PT p (TS $ share s)) }
+\? $d + { tok (\p s -> PT p (eitherResIdent (T_TMeta . share) s)) }
 ($l | \_)($l | $d | \_ | \')* { tok (\p s -> PT p (eitherResIdent (T_CIdent . share) s)) }
 
 $l $i*   { tok (\p s -> PT p (eitherResIdent (TV . share) s)) }
@@ -46,6 +47,7 @@ data Tok =
  | TV !String     -- identifiers
  | TD !String     -- double precision float literals
  | TC !String     -- character literals
+ | T_TMeta !String
  | T_CIdent !String
 
  deriving (Eq,Show,Ord)
@@ -68,6 +70,7 @@ prToken t = case t of
   PT _ (TV s) -> s
   PT _ (TD s) -> s
   PT _ (TC s) -> s
+  PT _ (T_TMeta s) -> s
   PT _ (T_CIdent s) -> s
 
   _ -> show t
-- 
cgit v1.2.3