flix/flix issues and pull requests

#9199 - LSP acceptor with skip

Issue - State: closed - Opened by LoZander 3 months ago - 12 comments

#9198 - feat: add mkNewDef to CodeActionProvider

Pull Request - State: closed - Opened by stormckey 3 months ago - 8 comments

#9198 - feat: add mkNewDef to CodeActionProvider

Pull Request - State: closed - Opened by stormckey 3 months ago - 8 comments

#9194 - Recoverable lookupTrait

Issue - State: closed - Opened by magnus-madsen 3 months ago - 2 comments

#9194 - Recoverable lookupTrait

Issue - State: closed - Opened by magnus-madsen 3 months ago - 2 comments

#9193 - refactor: remove use of `pick` in `visitApplyExpr`

Pull Request - State: open - Opened by jaschdoc 3 months ago - 1 comment

#9192 - refactor: use `pickExpr` in `visitScopeExpr`

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

#9188 - Add `isValidPath` to `File{Read,ReadWithResult, Write, WriteWithResult}`

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

#9188 - Add `isValidPath` to `File{Read,ReadWithResult, Write, WriteWithResult}`

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

#9187 - Add `Type.Difference` to represent surface syntax better

Issue - State: closed - Opened by magnus-madsen 3 months ago - 1 comment
Labels: high priority

#9187 - Add `Type.Difference` to represent surface syntax better

Issue - State: closed - Opened by magnus-madsen 3 months ago - 1 comment
Labels: high priority

#9186 - Rework prettyprinter to use subtraction

Issue - State: closed - Opened by magnus-madsen 3 months ago - 1 comment
Labels: high priority

#9186 - Rework prettyprinter to use subtraction

Issue - State: closed - Opened by magnus-madsen 3 months ago - 1 comment
Labels: high priority

#9185 - Rework and Improve Entrypoint checking

Issue - State: closed - Opened by JonathanStarup 3 months ago - 3 comments
Labels: high priority, A: missing check, A: effects

#9185 - Rework and Improve Entrypoint checking

Issue - State: closed - Opened by JonathanStarup 3 months ago - 3 comments
Labels: high priority, A: missing check, A: effects

#9180 - Enable subeffecting and remove unncessary casts

Issue - State: open - Opened by magnus-madsen 3 months ago
Labels: A: effects

#9178 - test: add testing of new file operations

Pull Request - State: closed - Opened by sockmaster27 3 months ago - 7 comments

#9178 - test: add testing of new file operations

Pull Request - State: closed - Opened by sockmaster27 3 months ago - 7 comments

#9170 - N-ary Enums

Issue - State: closed - Opened by JonathanStarup 3 months ago - 2 comments

#9170 - N-ary Enums

Issue - State: closed - Opened by JonathanStarup 3 months ago - 2 comments

#9162 - fix: check entrypoint for primitive effects

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

#9162 - fix: check entrypoint for primitive effects

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

#9148 - feat: check recursion depth in `Weeder2`

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

#9148 - feat: check recursion depth in `Weeder2`

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

#9133 - Introduce `run-with`

Issue - State: closed - Opened by magnus-madsen 3 months ago
Labels: A: parsing

#9133 - Introduce `run-with`

Issue - State: closed - Opened by magnus-madsen 3 months ago
Labels: A: parsing

#9132 - feat: add `run` keyword and support it for `run-with`

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

#9132 - feat: add `run` keyword and support it for `run-with`

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

#9131 - Add basic tests for `FilePath` and friends

Issue - State: closed - Opened by magnus-madsen 3 months ago - 5 comments
Labels: student programmer, high priority, A: testing, A: java interop

#9131 - Add basic tests for `FilePath` and friends

Issue - State: closed - Opened by magnus-madsen 3 months ago - 5 comments
Labels: student programmer, high priority, A: testing, A: java interop

#9127 - Special case `WithHandlerCompleter` for Unit param

Issue - State: open - Opened by magnus-madsen 3 months ago
Labels: student programmer, A: lsp

#9127 - Special case `WithHandlerCompleter` for Unit param

Issue - State: open - Opened by magnus-madsen 3 months ago
Labels: student programmer, A: lsp

#9125 - Extend `CodeActionProvider`

Issue - State: closed - Opened by magnus-madsen 3 months ago - 2 comments
Labels: A: lsp

#9125 - Extend `CodeActionProvider`

Issue - State: closed - Opened by magnus-madsen 3 months ago - 2 comments
Labels: A: lsp

#9124 - Disallow `pub` on operations in effects

Issue - State: closed - Opened by magnus-madsen 3 months ago
Labels: student programmer, A: missing check

#9124 - Disallow `pub` on operations in effects

Issue - State: closed - Opened by magnus-madsen 3 months ago
Labels: student programmer, A: missing check

#9114 - Rework HighlightProvider to use LSP visitor

Issue - State: closed - Opened by LoZander 3 months ago
Labels: A: lsp

#9114 - Rework HighlightProvider to use LSP visitor

Issue - State: closed - Opened by LoZander 3 months ago
Labels: A: lsp

#9071 - feat: highlight provider using lsp visitor

Pull Request - State: closed - Opened by LoZander 4 months ago - 74 comments

#9071 - feat: highlight provider using lsp visitor

Pull Request - State: closed - Opened by LoZander 4 months ago - 74 comments

#9061 - Economize use of `!` functions

Issue - State: closed - Opened by magnus-madsen 4 months ago - 7 comments
Labels: student programmer, high priority, A: standard library

#9061 - Economize use of `!` functions

Issue - State: closed - Opened by magnus-madsen 4 months ago - 7 comments
Labels: student programmer, high priority, A: standard library

#9057 - proposal: SVE on table form

Pull Request - State: closed - Opened by JonathanStarup 4 months ago - 7 comments
Labels: blocked

#9057 - proposal: SVE on table form

Pull Request - State: closed - Opened by JonathanStarup 4 months ago - 7 comments
Labels: blocked

#9035 - Introduce `Http` effect

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

#9035 - Introduce `Http` effect

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

#9033 - Rename `FromJava` to `ToFlix`

Issue - State: closed - Opened by magnus-madsen 4 months ago
Labels: student programmer, A: standard library

#9033 - Rename `FromJava` to `ToFlix`

Issue - State: closed - Opened by magnus-madsen 4 months ago
Labels: student programmer, A: standard library

#9008 - feat: introduce TypeReconstruction2

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

#8988 - constraint solver 2

Pull Request - State: open - Opened by mlutze 4 months ago

#8988 - feat: introduce new constraint solver

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

#8937 - Move Consumer and Acceptor to their own source files

Issue - State: closed - Opened by magnus-madsen 4 months ago - 4 comments
Labels: A: internal

#8937 - Move Consumer and Acceptor to their own source files

Issue - State: closed - Opened by magnus-madsen 4 months ago - 4 comments
Labels: A: internal

#8921 - Unsound Entrypoint effect check

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

#8921 - Unsound Entrypoint effect check

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

#8909 - Missing `with` keyword for expressions (try-with)

Issue - State: closed - Opened by magnus-madsen 4 months ago - 3 comments
Labels: problem, A: lsp

#8909 - Missing `with` keyword for expressions (try-with)

Issue - State: closed - Opened by magnus-madsen 4 months ago - 3 comments
Labels: problem, A: lsp

#8862 - Experiment with ANF and ENF form

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

#8861 - Replace `StringBuilder` uses in `ToString` instances with one line

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

#8860 - feat: release 0.52.0

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

#8859 - chore: remove `TypeMinimization`

Pull Request - State: open - Opened by magnus-madsen 4 months ago - 7 comments

#8858 - Setification

Issue - State: closed - Opened by magnus-madsen 4 months ago - 4 comments
Labels: high priority, A: typing, A: effects

#8857 - refactor: from SourcePosition to Position

Pull Request - State: open - Opened by LoZander 4 months ago - 1 comment

#8856 - feat: add LSP `Visitor`

Pull Request - State: open - Opened by LoZander 4 months ago - 2 comments

#8855 - Crash on duplicate name

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

#8854 - fix: disallow control-effects in spawn and new expressions

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

#8853 - Enforce that spawn and new object expressions cannot have control-effects

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

#8852 - Add `App.run`

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

#8851 - Add `handlers` to every effect in the standard library

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

#8850 - fix: do not minimize types with errors

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

#8849 - refactor: remove `Validation` from `EntryPoint`

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

#8848 - feat: EffUnification3

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

#8847 - refactor: remove dead code

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

#8846 - feat: remove `Expr.Sig` from `Resolver` and later

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

#8845 - feat: jdk base effects

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

#8843 - Introducing Flix Guru on Gurubase.io

Issue - State: open - Opened by kursataktas 4 months ago - 3 comments

#8842 - Remove `Expr.Sig` in `Resolver` and later

Issue - State: closed - Opened by jaschdoc 4 months ago

#8841 - style: reorder `MonoAst`

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

#8840 - Remove `Constraint` in `MonoAst`

Issue - State: closed - Opened by jaschdoc 4 months ago - 4 comments

#8839 - refactor: added source locations for `Def`, `Sig` and `Op`

Pull Request - State: open - Opened by LoZander 4 months ago - 14 comments

#8838 - feat: Set Unification

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

#8837 - feat: visitor

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

#8836 - feat: introduce MapOps.unionWith

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

#8835 - feat: add `Optimizer1`

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

#8834 - refactor: rename `Optimizer` and friends

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

#8833 - chore: add benchmarks

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

#8832 - feat: more `SetFormula.propagation` early exit

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

#8831 - refactor: remove `LetRec`

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

#8830 - fix: progation copy-paste typo

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

#8829 - fix: propagation typo

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

#8828 - Console example doesn't handle errors

Issue - State: open - Opened by benjamin-thomas 4 months ago - 3 comments
Labels: bug, A: standard library

#8827 - Run and fix `TestAssocTypeUnification`

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

#8826 - feat: Setformula generator

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

#8825 - refactor: Clean set unification

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

#8824 - feat: use `SoftFailure` in `pick` in `Weeder2`

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

#8823 - refactor: remove `HardFailure` for deprecated Java errors in `Weeder2`

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

#8822 - refactor: rename `ctx` to `sctx` in `LambdaLift`

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

#8821 - fix: show location for ICE

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

#8820 - fix: perform kind inference on types in typematch

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

#8819 - Rename `ctx` in `LambdaLift` to `sctx` for consitency with other phases

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

GitHub / flix/flix issues and pull requests