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.

1 files changed, 6 insertions, 1 deletions

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;