code2rocq/crocq

Watch

Fork 0

Inline clauses: Handle whitespaces #76

New issue

Closed

opened 2026-10-23 16:04:49 +02:00 by marfavi · 0 comments

marfavi commented

2026-10-23 16:04:49 +02:00

Owner

Handle whitespace so we indent this inline def without impacting generated output

Originally posted by @marfavi in #58/files (comment)

Handle whitespace so we indent this inline def without impacting generated output _Originally posted by @marfavi in https://git.marfavi.com/code2rocq/crocq/pulls/58/files#issuecomment-1269_

marfavi referenced this issue

2026-10-28 10:17:16 +01:00

Add inline versions of INV and SPEC clauses #58

marfavi added this to the Release roadmap project

2026-10-28 10:24:31 +01:00

marfavi added the

quick-pick

label

2026-10-28 14:23:25 +01:00

marfavi referenced this issue from a commit

2026-10-28 14:50:18 +01:00

Dedent inline clause bodies before writing them (#76)

marfavi referenced this issue from a pull request that will close it,

2026-10-28 14:50:51 +01:00

Dedent inline clause bodies before writing them #84

marfavi closed this issue

2026-10-29 14:15:18 +01:00

marfavi referenced this issue from a commit

2026-10-29 14:15:19 +01:00

Dedent inline clause bodies before writing them (#84)

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

code2rocq/crocq#76

No description provided.

Rows
Columns