Warning: session_start(): open(/var/lib/php/sessions/sess_ne94vs8u93eq3hf3j8pp6f9hkb, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// returns (function, isSplitRule)
static Pair gazelle_parseInstruction(S s) {
new Matches m;
if "simplify with *"
ret pairWithFalse((O) $1);
else if "drop after word *" {
fS word = $1;
ret pairWithFalse((O) func(S s) { tok_dropStartingWithWord(word, s) });
} else if "group words *" {
fS words = $1;
ret pairWithFalse((O) func(S s) { tok_groupPhrase(s, words) });
} else if "split with *" {
ret pairWithTrue((O) $1);
}
null;
}