bracket graphic token chars in toplevel.pl (#357)
This commit is contained in:
@@ -65,6 +65,7 @@
|
|||||||
false),
|
false),
|
||||||
( EqPrec < FPrec -> true
|
( EqPrec < FPrec -> true
|
||||||
; '$quoted_token'(F) -> true
|
; '$quoted_token'(F) -> true
|
||||||
|
; atom_length(F, 1), '$graphic_token_char'(F) -> true
|
||||||
; EqPrec == FPrec,
|
; EqPrec == FPrec,
|
||||||
memberchk(EqSpec, [fx,xfx,yfx])
|
memberchk(EqSpec, [fx,xfx,yfx])
|
||||||
).
|
).
|
||||||
|
|||||||
Reference in New Issue
Block a user