Wing Hei Chan
Wing Hei Chan
*(Found during the writing of e7dc0d9; opening for public attention)* Currently, a `let` can “scope over” another `def` in the same block: ``` #lang rhombus block: let x = "outer"...
This arises during an attempt to fix Shplait’s `let` not using the original identifier. The following code defines two versions of `let` in terms of nested definition contexts, but only...
Unquoted matches, that is, `$` matches in a `''` pattern, are not available *within* that pattern, even to *later* subpatterns. For example, ``` #lang rhombus/static '1 2' is_a matching( '$(first_int...
For example, this program ``` #lang rhombus block: def a: b def b = #false #false ``` makes the reference to `b` a syntax error, while this program ``` #lang...
Example: ``` #lang rhombus/and_meta expr.macro self_quote: ~op_stx self | 'self_quote': '#%literal $(self.to_source_string())' ``` Options like `op_stx`, `all_stx`, etc., seem to be allowed only in the “right-hand side” position.
Example: ``` a + b: d | e ``` Should this work? Currently, only this works: ``` a + b: d | e ``` But I feel like this may...
Example: ``` #lang rhombus match ': one two three' | ': $(g && 'one two $(tail :: Group)')': tail ``` The use of a group pattern at the right should...
Classes with private immutable fields are currently required to have custom constructors. For example, ``` #lang rhombus class Secret(private _secret) ``` this triggers “class needs a custom constructor to initialize...
This is to record an initial thought about more general use of `who` (in the sense of `define/who` that binds a `who` syntax parameter to a defined name) in Rhombus....
Module-path operators don’t seem to cooperate with Check Syntax enough. For example, ``` #lang rhombus // "export.rhm" export: something def something = #false ``` ``` #lang rhombus // "import.rhm" import:...