diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-15 21:23:37 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-15 21:23:37 +0000 |
| commit | 354269e17c63d6e750fb5626adac43b92479506a (patch) | |
| tree | cfff89d2ec418d4a0dffd50ad214efc6ff007713 /src/runtime | |
| parent | 869621db6685e36da97e87ae24de0e10d84ed571 (diff) | |
allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax parser in PGF
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/Expr.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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)
|