refactored Thai so that it can now be compiled producing BIND tokens instead of spaces, by just changing the definition of ResTha.bIND. This is not to be exploited yet, because it produces consecutive BIND tokens, which are not supported at runtime.

lib/src/translator/ExtensionsTha.gf

@@ -14,9 +14,9 @@ lin
 ----  ConjVPI = E.ConjVPI ;
 ----  ComplVPIVV = E.ComplVPIVV ;
 
-  MkVPS _ p vp = {s = vp.s ! p.p} ; ----
+  MkVPS t p vp = {s = t.s ++ p.s ++ vp.s ! p.p} ; ----
 ----  ConjVPS = E.ConjVPS ;
-  PredVPS np vp = cc2 np vp ;
+  PredVPS np vp = thbind np vp ;
 {-
   BaseVPI = E.BaseVPI ;
   ConsVPI = E.ConsVPI ;