search

gracelang / minigrace

Self-hosting compiler for the Grace programming language
39 stars 22 forks source link

Regular white square brackets aren't supported #197

Closed petercowal closed 8 years ago

petercowal commented 8 years ago

"Regular" white square brackets (U+301A and U+301B,〚 and 〛) look very similar to mathematical white square brackets (U+27E6 and U+27E7, ⟦ and ⟧), but aren't supported by the language. It might be a good idea to add another unicode alias.

apblack commented 8 years ago

This would be a language change. If you really think that this is a good idea, then it should be opened as an issue on the GraceLanguage repository.

Unicode already defines two notions of equivalence: canonical equivalence and compatibility. We have should probably treat as equivalent anything that unicode treats as canonically equivalent, but not things that Unicode treats as "compatible" — for example, the circled numeral ⓵ is "compatible" with an ordinary 1, and "ffi" is compatible with the ffi ligature.

Are these two bracket forms canonically equivalent? I don't think that they are, but it's hard to tell for sure.