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

#9723 - fix: add annotation to TestMutDisjointSets

Pull Request - State: closed - Opened by mlutze 24 days ago

#9723 - fix: add annotation to TestMutDisjointSets

Pull Request - State: closed - Opened by mlutze 24 days ago

#9722 - fix: add annotations to Test.Exp.NewRegion

Pull Request - State: closed - Opened by mlutze 24 days ago

#9722 - fix: add annotations to Test.Exp.NewRegion

Pull Request - State: closed - Opened by mlutze 24 days ago

#9721 - chore: add tilde-suffixed files to .gitignore

Pull Request - State: closed - Opened by mlutze 24 days ago

#9721 - chore: add tilde-suffixed files to .gitignore

Pull Request - State: closed - Opened by mlutze 24 days ago

#9720 - Add getEffectKeywords to KeywordCompleter

Issue - State: closed - Opened by magnus-madsen 25 days ago - 3 comments
Labels: A: lsp

#9719 - Merge `isRegion` and `isSlack`

Issue - State: open - Opened by magnus-madsen 25 days ago
Labels: student programmer

#9719 - Merge `isRegion` and `isSlack`

Issue - State: open - Opened by magnus-madsen 25 days ago
Labels: student programmer

#9718 - feat: add `Type.freshEffSlackVar`

Pull Request - State: closed - Opened by magnus-madsen 25 days ago - 4 comments

#9718 - feat: add `Type.freshEffSlackVar`

Pull Request - State: closed - Opened by magnus-madsen 25 days ago - 4 comments

#9716 - Investigate if `ZhegalkinAlgebra.freeVars` should return rigid variables?

Issue - State: closed - Opened by magnus-madsen 25 days ago - 1 comment
Labels: bug

#9716 - Investigate if `ZhegalkinAlgebra.freeVars` should return rigid variables?

Issue - State: closed - Opened by magnus-madsen 25 days ago - 1 comment
Labels: bug

#9715 - Update landing page until support for enum constructor without enum prefix

Issue - State: open - Opened by ryepesg 25 days ago - 2 comments
Labels: bug

#9715 - Update landing page until support for enum constructor without enum prefix

Issue - State: open - Opened by ryepesg 25 days ago - 2 comments
Labels: bug

#9714 - test: add `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 26 days ago

#9714 - test: add `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 26 days ago

#9713 - `typematch` crashes language server.

Issue - State: open - Opened by AStenbaek 26 days ago - 6 comments
Labels: bug

#9712 - test: add `testSelectRandom05`

Pull Request - State: closed - Opened by magnus-madsen 27 days ago - 2 comments

#9711 - test: add test to `TestSetUnification`

Pull Request - State: closed - Opened by magnus-madsen 27 days ago - 2 comments

#9711 - test: add test to `TestSetUnification`

Pull Request - State: closed - Opened by magnus-madsen 27 days ago - 2 comments

#9710 - feat: add ascription to foreach desugaring

Pull Request - State: closed - Opened by mlutze 27 days ago

#9710 - feat: add ascription to foreach desugaring

Pull Request - State: closed - Opened by mlutze 27 days ago

#9709 - feat: require Unit type for sequence expressions

Pull Request - State: closed - Opened by mlutze 27 days ago - 1 comment

#9709 - feat: require Unit type for sequence expressions

Pull Request - State: closed - Opened by mlutze 27 days ago - 1 comment

#9707 - fix: add tvar to Expr.Scope

Pull Request - State: closed - Opened by mlutze 28 days ago

#9706 - chore: add `Equation.isComplex`

Pull Request - State: closed - Opened by magnus-madsen 28 days ago

#9706 - chore: add `Equation.isComplex`

Pull Request - State: closed - Opened by magnus-madsen 28 days ago

#9705 - fix: use Scope for wildcard types in Resolver

Pull Request - State: closed - Opened by mlutze 28 days ago

#9705 - fix: use Scope for wildcard types in Resolver

Pull Request - State: closed - Opened by mlutze 28 days ago

#9704 - fix: add annotations to Test.Exp.Regions.flix

Pull Request - State: closed - Opened by mlutze 28 days ago

#9704 - fix: add annotations to Test.Exp.Regions.flix

Pull Request - State: closed - Opened by mlutze 28 days ago

#9703 - fix: Entrypoints handles malformed types

Pull Request - State: closed - Opened by JonathanStarup 28 days ago - 2 comments

#9702 - fix: add annotations in Test.Exp.Foreach

Pull Request - State: closed - Opened by mlutze 28 days ago

#9701 - ci: remove flix-files from community build

Pull Request - State: closed - Opened by mlutze 28 days ago

#9700 - fix: perform kind inference on ascriptions

Pull Request - State: closed - Opened by mlutze 28 days ago

#9699 - fix: add annotation to runWithStratification

Pull Request - State: closed - Opened by mlutze 28 days ago

#9698 - refactor: add type parameters to shared.AssocTypeDef

Pull Request - State: closed - Opened by mlutze 29 days ago

#9697 - refactor: use list map everywhere

Pull Request - State: closed - Opened by stormckey 29 days ago - 14 comments

#9696 - refactor: add type parameters to shared.Instance

Pull Request - State: closed - Opened by mlutze 29 days ago

#9695 - refactor: introduce TypeAliasCompleter

Pull Request - State: closed - Opened by stormckey 29 days ago

#9694 - Use ListMap everywhere consistently

Issue - State: closed - Opened by magnus-madsen 29 days ago

#9693 - Add merge functions to ChangeSet

Issue - State: closed - Opened by magnus-madsen 29 days ago - 2 comments

#9692 - refactor: remove syntex tree.native

Pull Request - State: closed - Opened by stormckey 29 days ago

#9691 - feat: make Safety totally incremental

Pull Request - State: closed - Opened by stormckey 29 days ago - 5 comments

#9690 - refactor: remove AutoUseCompleter

Pull Request - State: closed - Opened by stormckey 29 days ago

#9689 - fix: disallow qualified name in try-catch

Pull Request - State: closed - Opened by stormckey 30 days ago - 2 comments

#9688 - Search for "##" and inspect each occurrence

Issue - State: open - Opened by magnus-madsen 30 days ago

#9688 - Search for "##" and inspect each occurrence

Issue - State: open - Opened by magnus-madsen 30 days ago

#9687 - Remove `SyntaxTree.Native` -- it is unused

Issue - State: closed - Opened by magnus-madsen 30 days ago
Labels: bug

#9685 - Is qualified name allowed in try catch?

Issue - State: closed - Opened by stormckey 30 days ago - 7 comments
Labels: bug

#9685 - Is qualified name allowed in try catch?

Issue - State: closed - Opened by stormckey 30 days ago - 7 comments
Labels: bug

#9684 - test: use TestWithLibNix for struct Type tests

Pull Request - State: closed - Opened by mlutze 30 days ago - 1 comment

#9684 - test: use TestWithLibNix for struct Type tests

Pull Request - State: open - Opened by mlutze 30 days ago - 1 comment

#9683 - feat: extend `UndefinedType` with `Kind`

Pull Request - State: closed - Opened by stormckey 30 days ago - 1 comment

#9683 - feat: extend `UndefinedType` with `Kind`

Pull Request - State: closed - Opened by stormckey 30 days ago - 1 comment

#9682 - Extend `UndefinedType` with `Kind`

Issue - State: closed - Opened by magnus-madsen 30 days ago
Labels: A: lsp

#9682 - Extend `UndefinedType` with `Kind`

Issue - State: closed - Opened by magnus-madsen 30 days ago
Labels: A: lsp

#9681 - refactor: Consistent sym naming

Pull Request - State: closed - Opened by JonathanStarup 30 days ago

#9681 - refactor: Consistent sym naming

Pull Request - State: closed - Opened by JonathanStarup 30 days ago

#9680 - refactor: introduce EffectCompleter

Pull Request - State: closed - Opened by stormckey about 1 month ago

#9680 - refactor: introduce EffectCompleter

Pull Request - State: closed - Opened by stormckey about 1 month ago

#9679 - Disallow matching on BigDecimal

Issue - State: open - Opened by mlutze about 1 month ago
Labels: bug, A: missing check

#9679 - Disallow matching on BigDecimal

Issue - State: open - Opened by mlutze about 1 month ago
Labels: bug, A: missing check

#9678 - fix: use symbol for associated type equality

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9678 - fix: use symbol for associated type equality

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9677 - refactor: move DuplicateTag from Weeder to Namer

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9677 - refactor: move DuplicateTag from Weeder to Namer

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9676 - refactor: replace AssocTypeConstructor with AssocTypeSymUse

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9675 - feat: introduce TraitCompleter

Pull Request - State: open - Opened by stormckey about 1 month ago - 7 comments

#9674 - feat: introduce UndefinedJvmImport and UndefinedNew

Pull Request - State: closed - Opened by stormckey about 1 month ago - 2 comments

#9674 - feat: introduce UndefinedJvmImport and UndefinedNew

Pull Request - State: closed - Opened by stormckey about 1 month ago - 2 comments

#9673 - feat: introduce SharedContext for Regions

Pull Request - State: closed - Opened by stormckey about 1 month ago

#9673 - feat: introduce SharedContext for Regions

Pull Request - State: closed - Opened by stormckey about 1 month ago

#9672 - feat: introduce SharedContext for PredDeps phase

Pull Request - State: closed - Opened by stormckey about 1 month ago - 1 comment

#9672 - feat: introduce SharedContext for PredDeps phase

Pull Request - State: closed - Opened by stormckey about 1 month ago - 1 comment

#9671 - feat: introduce partitionOnValues

Pull Request - State: closed - Opened by stormckey about 1 month ago - 7 comments

#9671 - feat: introduce partitionOnValues

Pull Request - State: closed - Opened by stormckey about 1 month ago - 7 comments

#9670 - refactor: replace TraitConstraint.Head with TraitSymUse

Pull Request - State: closed - Opened by mlutze about 1 month ago - 1 comment

#9670 - refactor: replace TraitConstraint.Head with TraitSymUse

Pull Request - State: closed - Opened by mlutze about 1 month ago - 1 comment

#9669 - refactor: Consistent sym naming (`ResolvedAst` and `KindedAst`)

Pull Request - State: closed - Opened by JonathanStarup about 1 month ago - 3 comments

#9669 - refactor: Consistent sym naming (`ResolvedAst` and `KindedAst`)

Pull Request - State: closed - Opened by JonathanStarup about 1 month ago - 3 comments

#9668 - fix: use correct kind in EqualityEnvironment.broaden

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9668 - fix: use correct kind in EqualityEnvironment.broaden

Pull Request - State: closed - Opened by mlutze about 1 month ago

#9667 - refactor: replace TypeAliasConstructor with TypeAliasSymUse

Pull Request - State: closed - Opened by mlutze about 1 month ago - 1 comment

#9667 - refactor: replace TypeAliasConstructor with TypeAliasSymUse

Pull Request - State: closed - Opened by mlutze about 1 month ago - 1 comment

#9666 - Logger.log should write to StdErr by default

Issue - State: open - Opened by mlutze about 1 month ago - 1 comment
Labels: A: standard library

#9666 - Logger.log should write to StdErr by default

Issue - State: open - Opened by mlutze about 1 month ago - 1 comment
Labels: A: standard library

#9664 - refactor: rework `running-multiple-effects` example

Pull Request - State: closed - Opened by magnus-madsen about 1 month ago

#9664 - refactor: rework `running-multiple-effects` example

Pull Request - State: closed - Opened by magnus-madsen about 1 month ago

#9663 - feat: rework effect handler examples

Pull Request - State: closed - Opened by magnus-madsen about 1 month ago

#9663 - feat: rework effect handler examples

Pull Request - State: closed - Opened by magnus-madsen about 1 month ago

#9662 - fix: handle `Type.Difference` in `EntryPoints.eval`

Pull Request - State: closed - Opened by JonathanStarup about 1 month ago - 6 comments

#9661 - ProcessWithResult.exec throws `IOException`

Issue - State: open - Opened by magnus-madsen about 1 month ago - 2 comments
Labels: bug

#9661 - ProcessWithResult.exec throws `IOException`

Issue - State: open - Opened by magnus-madsen about 1 month ago - 2 comments
Labels: bug

#9660 - feat: release 0.56.0

Pull Request - State: closed - Opened by magnus-madsen about 1 month ago