hmijail (May 12 2025 at 13:19): hmijail (May 12 2025 at 13:19):I get error messages like
Outer syntax error⌂: keyword "infix" expected,
but natural number 256⌂ was found
See those ⌂ in there? (unicode character 8962, representing a house). They seem to only happen in error messages. I thought maybe they were some broken newline, but doesn't seem like. And I couldn't find them mentioned anywhere.
So, any idea of what do they mean?
Mathias Fleury (May 12 2025 at 13:23):you can control-click on them. They bring you to the error location.
Fabian Huch (May 14 2025 at 10:22):It's the error's home ;)
hmijail (May 14 2025 at 11:38):Thank you lots! This sounds like something useful and basic, and yet the couple of well-experienced users I asked didn't know about it. So... any idea of where is this explained? I wonder what else am I missing.
Mathias Fleury (May 14 2025 at 11:51):The symbol is relatively new (a few years already, but still not that many…)
Mathias Fleury (May 14 2025 at 11:52):Half of the new stuff I get by control-click on things…
Last updated: Jun 21 2025 at 01:46 UTC