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

#9887 - fix: propogate error locations in contextReduction

Pull Request - State: open - Opened by mlutze 7 days ago

#9886 - feat: support code action for stand alone lsp

Pull Request - State: open - Opened by stormckey 7 days ago

#9885 - refactor: use new CofiniteSet in Monomorpher

Pull Request - State: open - Opened by mlutze 7 days ago

#9884 - Add tokens to all frontend ASTs

Issue - State: open - Opened by magnus-madsen 7 days ago - 4 comments
Labels: A: lsp

#9883 - feat: add generic CofiniteSet

Pull Request - State: closed - Opened by mlutze 7 days ago - 6 comments

#9882 - Reversing order in SVE breaks

Issue - State: open - Opened by magnus-madsen 8 days ago
Labels: bug

#9881 - refactor: introduce StringCursor

Pull Request - State: open - Opened by JonathanStarup 8 days ago - 3 comments

#9880 - refactor: make show ast provider return path

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

#9879 - refactor: make RenameProvider return WorkspaceEdit

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

#9878 - test: update Debug.scala to work on substitution trees

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

#9877 - refactor: make GotoProvider return LocationLink

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

#9875 - refactor: make CodeLensProvider return CodeLens

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

#9874 - perf: add histogram to `ZhegalkinPerf`

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

#9873 - refactor: make CompletionProvider return CompletionList

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

#9872 - perf: tweak `SetSubstitution.apply`

Pull Request - State: closed - Opened by magnus-madsen 8 days ago - 1 comment

#9871 - perf: tweak `ZhegalkinCaches`

Pull Request - State: closed - Opened by magnus-madsen 8 days ago - 1 comment

#9869 - refactor: cleanup `SetUnification`

Pull Request - State: closed - Opened by magnus-madsen 8 days ago - 1 comment

#9868 - Expand `SemanticTokensProvider` to provide more tokens

Issue - State: open - Opened by magnus-madsen 8 days ago - 11 comments
Labels: A: lsp

#9867 - feat: support semantic tokens for standalone lsp

Pull Request - State: closed - Opened by stormckey 8 days ago - 6 comments

#9866 - refactor: semantic tokens do not return JObject directly

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

#9865 - feat: support document highlight for stand alone lsp

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

#9864 - chore: remove JvmUnification

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

#9863 - feat: make instances incremental

Pull Request - State: open - Opened by stormckey 9 days ago - 3 comments

#9862 - experiment: heap effects

Pull Request - State: open - Opened by mlutze 9 days ago

#9860 - How to complete a name with multiple resolutions

Issue - State: open - Opened by stormckey 9 days ago - 10 comments

#9859 - feat: move ident to namespace for QName when there is a trailing dot

Pull Request - State: open - Opened by stormckey 9 days ago - 19 comments

#9858 - refactor: remove effect-related stuff from BoolUnification

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

#9857 - Remove Completers relying on regex

Issue - State: open - Opened by stormckey 9 days ago - 1 comment

#9856 - chore: remove dead code in Type.scala

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

#9855 - `Array.empty` inconsistent

Issue - State: open - Opened by mlutze 9 days ago - 1 comment
Labels: A: standard library

#9854 - refactor: solve multiple equations in SVE

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

#9853 - perf: tweaks to `ZhegalinPerf`

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

#9852 - refactor: polish and rename TypeReduction

Pull Request - State: open - Opened by mlutze 10 days ago - 2 comments

#9851 - perf: tweak output of `ZhegalinPerf`

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

#9850 - chore: remove Type.isRegion

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

#9849 - refactor: add `Xzhegalkin` command

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

#9848 - perf: use `IntMap` in `SetSubstitution`

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

#9847 - feat: release 0.57.0

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

#9846 - refactor: remove `SetUnification.Options`

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

#9845 - perf: update `ZhegalkinPerf`

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

#9844 - feat: support partially qualified name for EnumTagCompleter

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

#9843 - test: enable ignored Redundancy tests

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

#9842 - test: enable ignored Typer tests

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

#9841 - chore: remove Regions phase

Pull Request - State: closed - Opened by mlutze 13 days ago - 2 comments

#9840 - refactor: remove unnecessary named parameters in Regex

Pull Request - State: closed - Opened by gwydd12 13 days ago - 4 comments

#9839 - chore: remove dead code from ConstraintSolver2

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

#9838 - perf: collect rule stats for `SetUnification`

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

#9837 - feat: identify trailing dot in QName

Pull Request - State: closed - Opened by stormckey 13 days ago - 10 comments

#9836 - refactor: introduce Type.Apply.renew

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

#9835 - chore: remove henv in Kinder

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

#9834 - chore: rename RecordConstraintSolver and SchemaConstraintSolver

Pull Request - State: closed - Opened by mlutze 13 days ago - 2 comments

#9833 - refactor: remove BroadEqualityConstraint and EqualityEnvironment

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

#9832 - feat: introduce EqualityEnv

Pull Request - State: closed - Opened by mlutze 13 days ago - 2 comments

#9831 - refactor: return Option from CaseSetUnification

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

#9830 - refactor: return Option from BoolUnification

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

#9829 - chore: remove dead code in EffUnification3

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

#9827 - refactor: simplify `SetFormula`

Pull Request - State: closed - Opened by magnus-madsen 13 days ago - 1 comment

#9826 - chore: remove dead code in Unification

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

#9825 - chore: remove TestAssocTypeUnification

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

#9824 - Fix flix package file name

Issue - State: open - Opened by jaschdoc 14 days ago
Labels: bug

#9823 - Lexer will treat ".\n" as DotWhiteSpace

Issue - State: closed - Opened by stormckey 14 days ago - 7 comments

#9822 - chore: remove use of BroadEqualityConstraint in BoolUnification

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

#9821 - feat: use endsWithDot from QName

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

#9820 - refactor: remove use of BroadEqualityConstraint from Scheme.scala

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

#9819 - chore: remove dead code from EqualityEnvironment

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

#9818 - chore: remove Monomorpher.infallibleReduceAssocType

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

#9817 - chore: remove dead code in AssocTypeSubstitution and EqualityEnvironment

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

#9816 - fix: properly initialize schemes in Kinder

Pull Request - State: open - Opened by mlutze 14 days ago

#9814 - refactor: remove dependencies on Unification.scala

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

#9813 - chore: remove old constraint solver

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

#9812 - refactor: move withSupers function to Typer

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

#9811 - feat: require parentheses for datalog-if-guard

Pull Request - State: closed - Opened by stormckey 15 days ago - 6 comments

#9809 - fix: remove ExprSnippetCompleter from UndefinedAnnotation

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

#9808 - feat: introduce RegionSym

Pull Request - State: closed - Opened by mlutze 15 days ago - 3 comments

#9807 - feat: introduce SharedContext to Instances

Pull Request - State: closed - Opened by stormckey 15 days ago - 3 comments

#9806 - test: add more tests to `TestSetUnification`

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

#9805 - refactor: consolidate TypeConstraint and TypeConstraint2

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

#9804 - perf: collect more data in `ZhegalkinPerf`

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

#9803 - chore: clean up ConstraintSolver2

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

#9802 - Experiment with performance of `ChangeSet`

Issue - State: open - Opened by magnus-madsen 15 days ago - 1 comment

#9801 - feat: make PatMatch incremental

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

#9800 - feat: make PredDeps incremental

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

#9799 - refactor: introduce ConstraintSolverInterface

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

#9798 - feat: make Regions incremental

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

#9797 - refactor: remove unused Soup companion object

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

#9796 - refactor: use ConstraintSolver2 for Scheme

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

#9795 - refactor: delegate solveAllTypes to solveAll

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

#9794 - feat: expand constraint solver steps

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

#9792 - refactor: take initialSubst in solveAll

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

#9790 - ci: introduce perf tag to semantic commit

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

#9789 - feat: introduce Soup.renew

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

#9788 - chore: tweaks to `ZhegalkinPerf`

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