-
Notifications
You must be signed in to change notification settings - Fork 189
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Crash in Kinder on duplicate trait declarations with different signatures
bugSomething isn't workingSomething isn't workingStatus: Open.#13039 In flix/flix;- Status: Open.#13033 In flix/flix;
build/class grows without bound: generated class names embed a non-deterministic counter, so successive builds never overwrite
bugSomething isn't workingSomething isn't workingStatus: Open.#13017 In flix/flix;Datalog select-clause terms are silently unconstrained by the type checker
bugSomething isn't workingSomething isn't workingStatus: Open.#13015 In flix/flix;- Status: Open.#13009 In flix/flix;
- Status: Open.#13003 In flix/flix;
- Status: Open.#13002 In flix/flix;
- Status: Open.#12978 In flix/flix;
- Status: Open.#12972 In flix/flix;
- Status: Open.#12970 In flix/flix;
- Status: Open.#12968 In flix/flix;
- Status: Open.#12953 In flix/flix;