(p)
| 107 | } |
| 108 | function eqCharPos(a, b, msg) { |
| 109 | function str(p) { return "{line:" + p.line + ",ch:" + p.ch + ",sticky:" + p.sticky + "}"; } |
| 110 | if (a == b) return; |
| 111 | if (a == null) throw new Failure(label("comparing null to " + str(b), msg)); |
| 112 | if (b == null) throw new Failure(label("comparing " + str(a) + " to null", msg)); |