assertAlert(new NothingToCompileError(pos()));
// TODO(laurence): make this kind of error less noisy
String badNs = "http://google.com/BAD_NAMESPACE";
// TODO(laurence): pos(7, 59) seems a bit off. Is it fixable?
assertAlert(new UnknownNamespaceError(pos(7, 59), badNs));
assertAlert(new UnknownNamespaceError(pos(9, 1), badNs));
assertAlert(new UnknownNamespaceError(pos(10, 3), badNs));
assertAlert(new UnknownNamespaceError(pos(12, 5), badNs));
assertNoUnexpectedAlerts();
}