diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 15:48:13 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 15:48:13 +0000 |
| commit | eef20fa404f11fda0b9f73da1a3ee41db3201062 (patch) | |
| tree | f03879bedcf2a7885b092d18581f11a994a008be /src/Transfer/Syntax/Par.y | |
| parent | 2be80a7e3b4834bd3146ac9d2f27190fd0689d27 (diff) | |
Added meta variables to transfer front-end and core.
Diffstat (limited to 'src/Transfer/Syntax/Par.y')
| -rw-r--r-- | src/Transfer/Syntax/Par.y | 2 |
1 files changed, 2 insertions, 0 deletions
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 } |