Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / flix/flix issues and pull requests

#8659 - Show `SourceLocation` in `InternalCompilerException`

Issue - State: closed - Opened by JonathanStarup 5 months ago - 1 comment
Labels: A: error reporting

#8657 - feat: hover search

Pull Request - State: open - Opened by LoZander 5 months ago - 8 comments

#8653 - Annotate generated exps

Issue - State: open - Opened by JonathanStarup 5 months ago - 1 comment
Labels: A: typing

#8639 - Rework HoverProvider to use search

Issue - State: closed - Opened by magnus-madsen 5 months ago - 35 comments
Labels: A: lsp

#8635 - fix: allow importing ops

Pull Request - State: closed - Opened by mlutze 5 months ago - 3 comments

#8635 - fix: allow importing ops

Pull Request - State: closed - Opened by mlutze 5 months ago - 3 comments

#8628 - Random.{randomFloat32, randomFloat64} are broken

Issue - State: open - Opened by magnus-madsen 5 months ago - 14 comments
Labels: bug, student programmer, A: standard library

#8606 - Improve letrec/local def representation

Issue - State: closed - Opened by JonathanStarup 5 months ago - 4 comments

#8601 - No check for unhandled effects on entrypoint

Issue - State: closed - Opened by JonathanStarup 5 months ago
Labels: bug, A: missing check

#8600 - Cannot `use` `Console.println`

Issue - State: open - Opened by JonathanStarup 5 months ago - 3 comments
Labels: bug, A: algebraic effects

#8592 - Collect interop functions

Issue - State: open - Opened by JonathanStarup 5 months ago
Labels: A: internal

#8592 - Collect interop functions

Issue - State: open - Opened by JonathanStarup 5 months ago
Labels: A: internal

#8590 - Fix monomorphization of recursive types

Issue - State: open - Opened by JonathanStarup 5 months ago
Labels: problem, A: monomophization

#8590 - Fix monomorphization of recursive types

Issue - State: open - Opened by JonathanStarup 5 months ago
Labels: problem, A: monomophization

#8586 - feat: use `SoftFailure` in `Weeder2` at `pickRestrictableChoosePattern`

Pull Request - State: open - Opened by jaschdoc 5 months ago - 19 comments

#8582 - Add `KindCompleter`

Issue - State: closed - Opened by magnus-madsen 5 months ago - 1 comment
Labels: A: lsp

#8574 - clean up typereduction

Issue - State: closed - Opened by JonathanStarup 5 months ago - 5 comments

#8551 - Crash on effect signature typo

Issue - State: open - Opened by jaschdoc 5 months ago
Labels: bug, A: typing, A: algebraic effects

#8551 - Crash on effect signature typo

Issue - State: open - Opened by jaschdoc 5 months ago
Labels: bug, A: typing, A: algebraic effects

#8540 - Introduce SoftErrors for Weeder2

Issue - State: open - Opened by magnus-madsen 5 months ago - 8 comments
Labels: student programmer

#8537 - feat: set formula

Pull Request - State: closed - Opened by JonathanStarup 5 months ago - 3 comments

#8518 - refactor: implement `MutList` via struct

Pull Request - State: open - Opened by sockmaster27 6 months ago - 7 comments

#8436 - Parser stuck on effect def named `throw`

Issue - State: closed - Opened by JonathanStarup 6 months ago - 3 comments
Labels: bug, A: parsing

#8436 - Parser stuck on effect def named `throw`

Issue - State: closed - Opened by JonathanStarup 6 months ago - 3 comments
Labels: bug, A: parsing

#8415 - Add completions for `UndefinedTrait`s

Issue - State: open - Opened by magnus-madsen 6 months ago - 4 comments
Labels: A: lsp

#8415 - Add completions for `UndefinedTrait`s

Issue - State: open - Opened by magnus-madsen 6 months ago - 4 comments
Labels: A: lsp

#8399 - Resolver: introduce ApplyDef, ApplySig, ApplyClo

Issue - State: closed - Opened by mlutze 6 months ago - 10 comments
Labels: student programmer

#8362 - feat: allow effectful holes

Pull Request - State: closed - Opened by mlutze 6 months ago - 12 comments

#8326 - Parser is stuck on eff

Issue - State: closed - Opened by magnus-madsen 6 months ago
Labels: bug, A: parsing

#8326 - Parser is stuck on eff

Issue - State: closed - Opened by magnus-madsen 6 months ago
Labels: bug, A: parsing

#8288 - Phases still using `Validation` and `HardFailure`

Issue - State: closed - Opened by jaschdoc 6 months ago - 2 comments
Labels: student programmer

#8265 - WIP n-ary enums

Pull Request - State: open - Opened by mlutze 6 months ago - 10 comments
Labels: blocked

#8265 - WIP n-ary enums

Pull Request - State: closed - Opened by mlutze 6 months ago - 10 comments
Labels: blocked

#8255 - Use placeholder snippets in InvokeMethodCompleter and InvokeStaticMethodCompleter

Issue - State: closed - Opened by magnus-madsen 6 months ago - 5 comments
Labels: A: lsp, A: java interop

#8186 - feat: introduce bag-of-constraints solver

Pull Request - State: open - Opened by mlutze 7 months ago - 6 comments

#8039 - feat: struct typing and resolution using `instance` and `trait`

Pull Request - State: open - Opened by dghosef 8 months ago - 27 comments

#8011 - Determinize compiler output

Issue - State: open - Opened by magnus-madsen 8 months ago - 6 comments
Labels: A: monomophization

#8011 - Determinize compiler output

Issue - State: open - Opened by magnus-madsen 8 months ago - 6 comments
Labels: A: monomophization

#7983 - Add `Index` and `IndexMut` syntax, traits, and instances

Issue - State: open - Opened by magnus-madsen 8 months ago - 15 comments
Labels: student programmer, A: standard library

#7983 - Add `Index` and `IndexMut` syntax, traits, and instances

Issue - State: open - Opened by magnus-madsen 8 months ago - 15 comments
Labels: student programmer, A: standard library

#7871 - Move `Ast.*` to `shared`

Issue - State: closed - Opened by magnus-madsen 8 months ago - 3 comments
Labels: student programmer

#7741 - `regex` escape sequence support

Issue - State: open - Opened by AStenbaek 9 months ago - 7 comments
Labels: bug, A: parsing

#7699 - Add `FastSetUnification`

Issue - State: closed - Opened by magnus-madsen 9 months ago
Labels: A: typing

#7699 - Add `FastSetUnification`

Issue - State: closed - Opened by magnus-madsen 9 months ago
Labels: A: typing

#7614 - Error "illegal type constraint parameter"

Issue - State: open - Opened by stephentetley 10 months ago - 3 comments

#7613 - feat: add `toVector` to Set and others (issue #7430)

Pull Request - State: closed - Opened by stephentetley 10 months ago - 1 comment

#7612 - fix: add region to `Mpmc`

Pull Request - State: open - Opened by JonathanStarup 10 months ago - 1 comment

#7611 - fix: revert channel operations to have the `IO` effect

Pull Request - State: open - Opened by magnus-madsen 10 months ago - 3 comments

#7610 - Parser is stuck

Issue - State: closed - Opened by magnus-madsen 10 months ago - 2 comments
Labels: bug

#7609 - `Mpmc[t]` should have a region and use it during lowering

Issue - State: open - Opened by magnus-madsen 10 months ago - 3 comments
Labels: bug

#7608 - Doc comments are not included

Issue - State: open - Opened by sockmaster27 10 months ago - 1 comment
Labels: bug

#7607 - fix: duplicate modules in HTML documentation

Pull Request - State: closed - Opened by sockmaster27 10 months ago

#7606 - feat: rank syntactic contexts in `CompletionProvider`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7605 - feat: add `NewObject` completion

Pull Request - State: open - Opened by jaschdoc 10 months ago - 17 comments

#7604 - Parser error on modules

Issue - State: open - Opened by jaschdoc 10 months ago - 2 comments
Labels: bug

#7603 - feat: Better parser recovery with recover sets

Pull Request - State: open - Opened by herluf-ba 10 months ago - 5 comments

#7602 - feat: introduce `--Xfuzzer`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 3 comments

#7601 - fix: Count HashCurlyL as opener

Pull Request - State: closed - Opened by herluf-ba 10 months ago

#7600 - feat: more specific locations in `Verifier` error messages

Pull Request - State: closed - Opened by felix-berg 10 months ago

#7598 - Confusing type error with regions/effects

Issue - State: open - Opened by JonathanStarup 10 months ago

#7597 - fix: Call expression followed by Record Select

Pull Request - State: closed - Opened by herluf-ba 10 months ago - 1 comment

#7596 - fix: detection of record vs block expressions

Pull Request - State: closed - Opened by herluf-ba 10 months ago

#7595 - cache asts on demand

Pull Request - State: open - Opened by JonathanStarup 10 months ago

#7594 - Leftover type constraints

Issue - State: closed - Opened by JonathanStarup 10 months ago - 4 comments
Labels: bug

#7593 - feat: reduce memory usage of `Type.Apply` in `Type.map`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7592 - Duplicate entries in htmldoc

Issue - State: closed - Opened by magnus-madsen 10 months ago
Labels: bug, high priority

#7591 - A smart constructors for all types?

Issue - State: open - Opened by magnus-madsen 10 months ago

#7589 - feat: reduce memory usage of `Type.Apply` in `MonoTypes`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7588 - feat: reduce memory usage of `Type.Apply` in `Lowering`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7587 - Reduce memory usage of `Type.Apply`

Issue - State: closed - Opened by magnus-madsen 10 months ago

#7586 - feat: compute lexeme text on-demand

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7585 - feat: release 0.46.0

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7584 - feat: add associated type to `Coerce`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7583 - refactor: use nullable `ParserInput`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7582 - refactor: replace `SourceKind` with a Boolean

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7581 - feat: canonicalize Boolean formulas in `BoolFormulaTable`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7579 - feat: add support for `--json` to `Xmemory` command

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7578 - fix: better region types in parYield lowering

Pull Request - State: closed - Opened by JonathanStarup 10 months ago

#7577 - wip: boolean subtyping

Pull Request - State: open - Opened by JonathanStarup 10 months ago - 3 comments

#7576 - Reduce backend ast caching

Issue - State: open - Opened by JonathanStarup 10 months ago - 11 comments

#7575 - feat: reduce memory usage of `Type` by avoiding re-allocations

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7574 - feat: reduce memory usage of columns in `Token` and `SourceLocation`

Pull Request - State: closed - Opened by magnus-madsen 10 months ago - 1 comment

#7573 - test: disable test parallelism

Pull Request - State: closed - Opened by magnus-madsen 10 months ago

#7572 - Add output of `Xmemory` to arewefast

Issue - State: closed - Opened by magnus-madsen 10 months ago

#7569 - feat: use `WeededAst` from new parser/weeder

Pull Request - State: closed - Opened by herluf-ba 10 months ago - 12 comments

#7568 - feat: add FuzzDuplicateLines and FuzzSwapLines

Pull Request - State: closed - Opened by herluf-ba 10 months ago - 9 comments

#7562 - feat: add `Spawn` and `Region` to verifier

Pull Request - State: closed - Opened by felix-berg 10 months ago - 1 comment

#7555 - test: add tests for associated type multiple `Eff`s and types

Pull Request - State: open - Opened by jaschdoc 10 months ago - 10 comments

#7553 - test: add tests for associated type `Eff`

Pull Request - State: closed - Opened by jaschdoc 10 months ago - 3 comments

#7552 - feat: add `TryWith` and `Do` to `Verifier`

Pull Request - State: closed - Opened by felix-berg 10 months ago - 1 comment

#7546 - Investigate and improve steady-state memory usage

Issue - State: closed - Opened by magnus-madsen 10 months ago

#7542 - WIP proper unifyall integration

Pull Request - State: open - Opened by mlutze 11 months ago - 2 comments

#7541 - Memory usage for `gradle test`

Issue - State: closed - Opened by magnus-madsen 11 months ago - 12 comments

#7529 - test: add tests for associated type `Record`

Pull Request - State: open - Opened by jaschdoc 11 months ago - 7 comments

#7526 - refactor: non optional nth on Array and Vector

Pull Request - State: open - Opened by stetimi 11 months ago - 9 comments