Stream: helpdesk (published)

Topic: help with defining a Bit type with @enum

Peter Goodall (Nov 16 2021 at 00:46):

I am struggling to create a Bit type - I'm not interested in efficiency - I'm playing with a proof of bitstrings with XOR as an Abelian Group.

Why are \ttone and \ttzero invalid characters? I'm getting them from https://docs.julialang.org/en/v1/manual/unicode-input/

fails:

julia> @enum 𝔹 𝟶 𝟷
ERROR: syntax: invalid character "𝟶" near column 9
Stacktrace:
 [1] top-level scope
   @ none:1

julia> typeof(𝟷)
ERROR: syntax: invalid character "𝟷" near column 8
Stacktrace:
 [1] top-level scope
   @ none:1

works:

julia> @enum 𝔹 α β

Last updated: Oct 02 2023 at 04:34 UTC