-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
idea(tmt): rule guards — a compile-time predicate over bindings that filters a pattern's expansion (where { x == y || x == y - 1 })
enhancementNew feature or requestNew feature or requestStatus: Open.#133 In mellonis/machine-toolchains;idea(tmt): a head-position contract (returns at +0 / +k) beside the glyph contracts — head drift is the commonest bug class in a real program
enhancementNew feature or requestNew feature or requestStatus: Open.#132 In mellonis/machine-toolchains;idea(tmt): named, sparse vector cells — [king: '♔', file: 0..7 as f] instead of positional wildcards
enhancementNew feature or requestNew feature or requestStatus: Open.#131 In mellonis/machine-toolchains;docs+diag(tmt): unreachable-rule fires on an exact duplicate partial pattern, wider than the pages say, and prints no code tag
bugSomething isn't workingSomething isn't workingStatus: Open.#130 In mellonis/machine-toolchains;build(tmt): committed .tmh headers go stale — regenerate or verify them in tmt build
enhancementNew feature or requestNew feature or requestStatus: Open.#129 In mellonis/machine-toolchains;build(tmt): tmt build never infers noreturn for a sibling source, so a then-less call the --extern route accepts is refused
bugSomething isn't workingSomething isn't workingStatus: Open.#128 In mellonis/machine-toolchains;compiler(tmt): a repeated binding name in one pattern is silently accepted — rightmost wins
bugSomething isn't workingSomething isn't workingStatus: Open.#127 In mellonis/machine-toolchains;idea: an assert construct (or a stripped call marker) in .tmc and .pmc, on the --strip-asserts precedent
enhancementNew feature or requestNew feature or requestStatus: Open.#126 In mellonis/machine-toolchains;lint(tmt): warn on an unused routine/graph tape parameter and an unused fold variable
enhancementNew feature or requestNew feature or requestStatus: Open.#125 In mellonis/machine-toolchains;design: should a glyph range follow the alphabet's declared order rather than Unicode succession?
questionFurther information is requestedFurther information is requestedStatus: Open.#124 In mellonis/machine-toolchains;linker: a table fixup is classified as a frame descriptor by opcode sniffing at hole−5, refusing a well-formed link
bugSomething isn't workingSomething isn't workingStatus: Open.#123 In mellonis/machine-toolchains;[postponed]
/in write-fold expressionsenhancementNew feature or requestNew feature or requestStatus: Open.#122 In mellonis/machine-toolchains;