From a8eeb497670fb0f2ffab1f9b070808df965415be Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 7 Aug 2017 16:39:19 +0200 Subject: the linearizer API now allows to detect metavariables. This is used for instancein the lookup where the tokens produced from the metavariables are interpreted as distinct from all other tokens. --- src/runtime/dotNet/Bracket.cs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/runtime/dotNet/Bracket.cs') diff --git a/src/runtime/dotNet/Bracket.cs b/src/runtime/dotNet/Bracket.cs index 8fa005704..1fc4c0db7 100644 --- a/src/runtime/dotNet/Bracket.cs +++ b/src/runtime/dotNet/Bracket.cs @@ -52,7 +52,8 @@ namespace PGFSharp end_phrase = EndPhrase, symbol_ne = null, symbol_bind = null, - symbol_capit = null + symbol_capit = null, + symbol_meta = SymbolMeta }; } @@ -80,6 +81,10 @@ namespace PGFSharp else stack.Peek ().AddChild (b); } + + private void SymbolMeta(IntPtr self, int meta_id) { + stack.Peek().AddChild(new StringChildBracket("?")); + } public Bracket Build() { return final; -- cgit v1.2.3