racket / racket/rhombus

Let `defn.sequence_macro` cooperate with an “enclosing” form

Open
#581 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
601
Forks
74
Avg merge
2d 10h
Merged PRs (30d)
5

Description

A defn.sequence_macro can be used to hook into the partial expansion for block and alter how the following forms should be evaluated, while #%body can be redefined to alter how the whole block is interpreted at all. Currently, we have Closeable.let as a defn.sequence_macro, but it just assumes that it and the following forms should be interpreted as in the default #%body. Is there a good way to let defn.sequence_macro cooperate with user-defined #%body bindings? (This change may need a more refined definition macro protocol, for example, to allow proper partial expansion.)

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by examining the defn.sequence_macro protocol and how Closeable.let participates in partial expansion. Then compare that behavior with user-defined #%body bindings and the handling of block-following forms. Done means defining a clear protocol that lets sequence macros cooperate correctly with enclosing forms.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
20/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.