!7

static JTextArea ta;
static JLabel lbl;

p-noconsole {
  showFrame(centerAndSouth(ta = jtextarea(), lbl = jlabel()));
  onUpdate(ta, r {
    Pair<Int, S> p = testBracketHygiene2(getText(ta));
    if (p == null)
      lbl.setText("Hygienic");
    else {
      setCaretPosition(ta, p.a);
      lbl.setText(p.b);
    }
  });
}