Remove DCGs that have thrown an exception during term expansion

Some DCG constructs aren't supported and can't be expanded, here we
remove offending DCG rule and don't compile it at all – in a similar
fashion to what we do when incorrect goal was found – whole predicate
isn't getting compiled.

Fixes mthom#2675

src/lib/dcgs.pl

@@ -25,6 +25,9 @@
 :- use_module(library(lists), [append/3, member/2]).
 :- use_module(library(loader), [strip_module/3]).
 
+:- dynamic(null/0).
+:- initialization(abolish(null/0)).
+
 :- meta_predicate phrase(2, ?).
 
 :- meta_predicate phrase(2, ?, ?).
@@ -216,7 +219,7 @@
 
 user:term_expansion(Term0, Term) :-
     nonvar(Term0),
-    dcg_rule(Term0, Term).
+    catch(dcg_rule(Term0, Term), E, (Term = null, format("   ~q~n", [E]))).
 
 
 %% seq(Seq)//