reftree icon indicating copy to clipboard operation
reftree copied to clipboard

Published 20 hours ago • verified publisher icon stanch

Consider using UNICODE NULL symbol '␀' for nulls

Open pathikrit opened this issue 6 years ago • 2 comments 

Char nullSymbol = '␀'

pathikrit avatar Jun 11 '18 13:06 pathikrit

While the semantics appeal to me, I am not convinced, because this symbol is somewhat hard to read in comparison to ∅...

stanch avatar Jun 11 '18 15:06 stanch

Maybe an option override it then? RefTree.Null(displayAs = "␀"). I can imagine people may want to display it as string "NULL".

pathikrit avatar Jun 11 '18 16:06 pathikrit