diff options
Diffstat (limited to 'src/Transfer/Core/Core.cf')
| -rw-r--r-- | src/Transfer/Core/Core.cf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf index 790b2815a..c2d9d3175 100644 --- a/src/Transfer/Core/Core.cf +++ b/src/Transfer/Core/Core.cf @@ -72,6 +72,10 @@ EType. Exp5 ::= "Type" ; EStr. Exp5 ::= String ; -- Integer literal expressions. EInt. Exp5 ::= Integer ; +-- Meta variables +EMeta. Exp5 ::= TMeta ; + +token TMeta ('?' digit+) ; coercions Exp 5 ; |