PORT: Support new style SWI-Prolog neck syntax from the core highligh…

…t module and support the
zdmnzr · Feb 28, 2021 · 40880f7 · 40880f7
1 parent 29852d4
commit 40880f7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/lib/highlight.pl b/lib/highlight.pl
@@ -884,11 +884,12 @@
 style(table_option(_Mode), table_option,		   [text]).
 
 
-neck_text(clause,       (:-)).
-neck_text(grammar_rule, (-->)).
-neck_text(method(send), (:->)).
-neck_text(method(get),  (:<-)).
-neck_text(directive,    (:-)).
+neck_text(clause,       (:-))  :- !.
+neck_text(grammar_rule, (-->)) :- !.
+neck_text(method(send), (:->)) :- !.
+neck_text(method(get),  (:<-)) :- !.
+neck_text(directive,    (:-))  :- !.
+neck_text(Text,         Text).		% new style
 
 head_type(exported,	 head_exported).
 head_type(public(_),	 head_public).

diff --git a/web/js/codemirror/mode/prolog/prolog.js b/web/js/codemirror/mode/prolog/prolog.js
@@ -40,7 +40,7 @@
 
   var isSymbolChar = /[-#$&*+./:<=>?@\\^~]/;	/* Prolog glueing symbols chars */
   var isSoloChar   = /[[\]{}(),;|!]/;		/* Prolog solo chars */
-  var isNeck       = /^(:-|-->)$/;
+  var isNeck       = /^(:-|-->|=>)$/;
   var isControlOp  = /^(,|;|->|\*->|\\+|\|)$/;