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

#8818 - fix: Position indexing

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

#8817 - `Position`, `Range`, `SourceLocation`, and `SourcePosition`

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

#8816 - refactor: return type of `Kinder`

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

#8815 - Refactor return type of phases

Issue - State: open - Opened by magnus-madsen 4 months ago - 3 comments
Labels: student programmer

#8814 - chore: remove some unused `Validation` code

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

#8813 - Refactor `Validation` to remove soft failures

Issue - State: open - Opened by magnus-madsen 4 months ago
Labels: student programmer

#8812 - Refactor `Validation` use in `Resolver`

Issue - State: open - Opened by magnus-madsen 4 months ago - 2 comments
Labels: student programmer

#8811 - Refactor `EntryPoint` to use `SharedContext` instead of `toSoftFailure`

Issue - State: closed - Opened by magnus-madsen 4 months ago - 1 comment
Labels: student programmer

#8810 - Refactor `Deriver` to use `SharedContext` instead of `toSoftFailure`

Issue - State: open - Opened by magnus-madsen 4 months ago - 1 comment
Labels: student programmer

#8809 - feat: return `SoftFailure` in `visitSelectRule` in `Weeder`

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

#8808 - refactor: rename `Apply` to `ApplyClo`

Pull Request - State: closed - Opened by jaschdoc 4 months ago

#8807 - feat: return `SoftError` from `visitEqualityConstraint` in `Weeder`

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

#8805 - refactor: remove `Expr.Let` from `WeededAst`

Pull Request - State: closed - Opened by jaschdoc 4 months ago - 1 comment

#8804 - refactor: remove `Modifiers` from `Let` and `LetMatch`

Pull Request - State: closed - Opened by jaschdoc 4 months ago - 2 comments

#8801 - Bad `QuineMcCluskey.collectPrimeImplicants` performance (Vscode timeout)

Issue - State: open - Opened by JonathanStarup 4 months ago - 3 comments
Labels: bug, A: typing

#8800 - Precedence error with effect notation

Issue - State: open - Opened by JonathanStarup 4 months ago - 1 comment
Labels: bug, high priority, A: parsing

#8799 - Add support for collapsible comments

Issue - State: open - Opened by JonathanStarup 4 months ago - 1 comment
Labels: enhancement, blocked, low priority, problem, A: lsp

#8798 - Number literal source locations off-by-one problem

Issue - State: closed - Opened by LoZander 4 months ago - 2 comments
Labels: bug, A: error reporting

#8797 - No hover on function defs

Issue - State: closed - Opened by JonathanStarup 4 months ago - 1 comment
Labels: problem, A: lsp

#8796 - bug with java methods and primitive types

Issue - State: open - Opened by JonathanStarup 4 months ago - 1 comment
Labels: bug

#8795 - toml file crashes

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

#8794 - refactor: move `Modifiers` from `Ast` to `shared`

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

#8793 - No type information on java method hover

Issue - State: closed - Opened by JonathanStarup 4 months ago - 4 comments
Labels: bug, A: lsp, A: java interop

#8792 - Bad java method error

Issue - State: open - Opened by JonathanStarup 4 months ago - 2 comments
Labels: A: errors, A: typing, problem

#8791 - Missing `import javax.swing.JFrame` autocomplete

Issue - State: closed - Opened by JonathanStarup 4 months ago - 10 comments
Labels: bug, A: lsp, A: java interop

#8790 - fix: Check signatures and instances in EffectVerifier

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

#8789 - fix: Check regions inside instances and sigs

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

#8788 - feat: Set Unification Rules

Pull Request - State: closed - Opened by JonathanStarup 4 months ago - 6 comments

#8787 - feat: introduce SchemaConstraintSolver

Pull Request - State: closed - Opened by mlutze 4 months ago - 7 comments

#8786 - feat: `MonoType.Arrow.purity` and `MonoType.Array.purity`

Pull Request - State: open - Opened by JonathanStarup 4 months ago - 6 comments

#8785 - feat: `SetFormula.successiveVariableElimination`

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

#8784 - refactor: `Simplifier.visitType`

Pull Request - State: closed - Opened by JonathanStarup 4 months ago - 1 comment

#8783 - Remove `WeededAst.Expr.Let`

Issue - State: closed - Opened by jaschdoc 4 months ago - 3 comments
Labels: student programmer

#8782 - Post `LocalDef` things

Issue - State: open - Opened by jaschdoc 4 months ago - 6 comments

#8781 - Fix Region escape check

Issue - State: open - Opened by JonathanStarup 4 months ago - 9 comments
Labels: bug, A: typing

#8780 - Check instances in `Regions`

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

#8779 - feat: RecordConstraintSolver

Pull Request - State: closed - Opened by mlutze 4 months ago - 1 comment

#8778 - Remove modifier from `Let` and `LetMatch`

Issue - State: closed - Opened by JonathanStarup 4 months ago - 3 comments
Labels: student programmer

#8777 - refactor: move `Doc` from `Ast` to `shared`

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

#8771 - Normalize formulas in monomorpher

Issue - State: closed - Opened by JonathanStarup 4 months ago - 1 comment
Labels: bug, A: monomophization

#8771 - Normalize formulas in monomorpher

Issue - State: closed - Opened by JonathanStarup 4 months ago - 1 comment
Labels: bug, A: monomophization

#8762 - Introduce `syntactic` and `semantic` completers

Issue - State: open - Opened by magnus-madsen 5 months ago
Labels: A: lsp

#8762 - Introduce `syntactic` and `semantic` completers

Issue - State: open - Opened by magnus-madsen 5 months ago
Labels: A: lsp

#8760 - feat: add `ApplySig`

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 7 comments

#8759 - Add `StructNewCompleter`

Issue - State: open - Opened by magnus-madsen 5 months ago - 9 comments
Labels: A: lsp

#8751 - Local Def Lifting Strategy

Issue - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8751 - Local Def Lifting Strategy

Issue - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8747 - Reduce `if (true)` in `Optimizer`

Issue - State: open - Opened by JonathanStarup 5 months ago - 2 comments
Labels: low priority, problem

#8743 - refactor: move `Annotations` from `Ast` to `shared`

Pull Request - State: open - Opened by sockmaster27 5 months ago

#8742 - refactor: remove `Validation` from `visitExp` in `Kinder`

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

#8741 - feat: add with-handler completion

Pull Request - State: closed - Opened by sockmaster27 5 months ago - 8 comments

#8740 - feat: n-ary `MonoType.Enum` (deleting `MonoTypes`)

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

#8739 - `JvmOps.getJvmType` seems to suspeciously erase some types

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

#8738 - refactor: move `default` out of `StrictSubstitution`

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

#8737 - fix: missing `visitType` in `Lowering`

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

#8736 - feat: support n-ary tags in code gen

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

#8735 - feat: add set equation

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

#8734 - refactor: backend `mkString`

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

#8733 - feat: SetSubstitution

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

#8732 - Performance implications of default monomorphization of free effect variables

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

#8729 - Upgrade to Scala 2.13.15

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

#8728 - Lowering doesnt remove schema rows

Issue - State: open - Opened by JonathanStarup 5 months ago - 3 comments
Labels: bug

#8727 - refactor: principled Monomorpher

Pull Request - State: open - Opened by JonathanStarup 5 months ago - 6 comments

#8726 - style: fix scala3 warnings

Pull Request - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8725 - fix: return `ApplyDef` for `ApplyDef` case in `TypedAstPrinter`

Pull Request - State: closed - Opened by jaschdoc 5 months ago

#8724 - refactor: remove unused Struct classes

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

#8723 - refactor: remove redundant case in `visitApplyDef` in `Resolver`

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 2 comments

#8722 - fix: simplificy struct declaration types in monomoprh

Pull Request - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8721 - fix: reduce benchmark to 10k elements

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#8720 - Remove `Enum.tpe` from `KindedAst`

Issue - State: open - Opened by JonathanStarup 5 months ago - 6 comments
Labels: student programmer, low priority

#8719 - refactor: remove unused `Enum.tpe` from `TypedAst` and `LoweredAst`

Pull Request - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8718 - refactor: remove `Validation` from functions in `Kinder`

Pull Request - State: closed - Opened by jaschdoc 5 months ago

#8717 - feat: add `name` parameter to `mkTestDirCollected`

Pull Request - State: closed - Opened by jaschdoc 5 months ago

#8716 - test: do not print in benchmarks

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#8715 - Benchmarks: don't print anything

Issue - State: closed - Opened by mlutze 5 months ago
Labels: A: testing

#8714 - feat: pretty print types ... again

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

#8713 - Add namespace to `TypeAliasSym.toString`

Issue - State: open - Opened by JonathanStarup 5 months ago
Labels: good first issue

#8712 - fix: flatten benchmarking directory

Pull Request - State: closed - Opened by jaschdoc 5 months ago

#8711 - refactor: remove `Validation` from functions in `Kinder`

Pull Request - State: closed - Opened by jaschdoc 5 months ago

#8710 - Set Unification Performance Opportunities

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

#8709 - feat: SetFormula smart constructors

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

#8708 - docs: single line doc comments

Pull Request - State: closed - Opened by JonathanStarup 5 months ago - 1 comment

#8707 - refactor: extend FilePath

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

#8706 - Benchmarks broken

Issue - State: closed - Opened by mlutze 5 months ago - 4 comments
Labels: A: testing

#8705 - refactor: rework constructor resolution

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

#8703 - feat: add support for varargs

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

#8702 - `runX` and `handleX` in effect modules

Issue - State: closed - Opened by JonathanStarup 5 months ago - 1 comment
Labels: enhancement, A: standard library

#8701 - feat: allow `Vector` as `Array` in method calls

Pull Request - State: closed - Opened by magnus-madsen 5 months ago - 2 comments

#8692 - feat: release 0.51.0

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

#8684 - Use user effect annotatations

Issue - State: open - Opened by JonathanStarup 5 months ago - 2 comments
Labels: A: typing

#8682 - feat: disallow handling of base effects

Pull Request - State: closed - Opened by sockmaster27 5 months ago - 2 comments

#8672 - Introduce `Instantiation`

Issue - State: open - Opened by magnus-madsen 5 months ago - 10 comments
Labels: A: monomophization

#8669 - feat: add `LocalDef`

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 34 comments

#8667 - refactor: remove `Expr.Def` in `Resolver` and later

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

#8659 - Show `SourceLocation` in `InternalCompilerException`

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