diff options
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 } |