From: Mark Thom Date: Sat, 18 Apr 2020 20:13:41 +0000 (-0600) Subject: bracket graphic token chars in toplevel.pl (#357) X-Git-Tag: v0.8.123~146 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f96e694ff8f0c0de4445a3f557de545a53316e0d;p=scryer-prolog.git bracket graphic token chars in toplevel.pl (#357) --- diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl index 27bf71f5..a3c3f1af 100644 --- a/src/prolog/toplevel.pl +++ b/src/prolog/toplevel.pl @@ -65,6 +65,7 @@ false), ( EqPrec < FPrec -> true ; '$quoted_token'(F) -> true + ; atom_length(F, 1), '$graphic_token_char'(F) -> true ; EqPrec == FPrec, memberchk(EqSpec, [fx,xfx,yfx]) ).