From 354269e17c63d6e750fb5626adac43b92479506a Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 15 Jan 2010 21:23:37 +0000
Subject: [PATCH] allow metavariables with indices i.e. ?0, ?1, etc in the
 abstract syntax parser in PGF

---
 src/runtime/haskell/PGF/Expr.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/runtime/haskell/PGF/Expr.hs b/src/runtime/haskell/PGF/Expr.hs
index df257c905..2357026ab 100644
--- a/src/runtime/haskell/PGF/Expr.hs
+++ b/src/runtime/haskell/PGF/Expr.hs
@@ -191,7 +191,8 @@ pTyped = do RP.skipSpaces
             return (ETyped e ty)
 
 pMeta = do RP.char '?'
-           return 0
+           ds <- RP.munch isDigit
+           return (read ('0':ds))
 
 pLit :: RP.ReadP Literal
 pLit = liftM LStr (RP.readS_to_P reads)