effekt-lang effekt issues

effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

https://effekt-lang.org

MIT License

292 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Unnamed types

#460 phischu opened 1 day ago
0
Benchmarks based on "Are we fast yet"

#459 phischu opened 3 days ago
0
PolymorphismBoxing for Any/Nothing

#458 marzipankaiser opened 4 days ago
7
Fix ANSI highlighting of strings within multiline strings

#457 marvinborner closed 5 days ago
0
Refactor/multiprompt llvm

#456 b-studios opened 1 week ago
0
Import with feature flag

#455 marzipankaiser opened 1 week ago
1
Add feature flags `jsNode` and `jsWeb`

#454 marzipankaiser opened 1 week ago
0
LLVM backend reports "undefined value"

#453 b-studios opened 2 weeks ago
5
LLVM: Allow polymorphic codata

#452 marzipankaiser closed 2 weeks ago
0
Extern warnings only if they reach code generation

#451 marzipankaiser closed 1 week ago
0
Cache compiler after stdlib to speed up tests

#450 b-studios closed 2 weeks ago
2
Refactor Stdlib

#449 b-studios opened 3 weeks ago
1
Extern definitions using blocks/functions

#448 marzipankaiser opened 3 weeks ago
0
Output "unsupported extern" warnings only if used

#447 marzipankaiser closed 1 week ago
7
Cyclic reference involving class Context

#446 b-studios opened 3 weeks ago
0
Added case study on probabilistic programming and inference

#445 sinaschaefer opened 4 weeks ago
6
Showing LLVM machine/target IR throws weird errors

#444 marvinborner closed 4 weeks ago
0
Add flag for outputting IRs

#443 marvinborner closed 4 weeks ago
0
Fix running Effekt on Windows

#442 marzipankaiser opened 1 month ago
5
Improve field access syntax

#441 jiribenes closed 1 month ago
0
Support Google Closure Compiler

#440 b-studios opened 1 month ago
0
Fix #434 by disabling unnecessary check

#439 b-studios closed 1 month ago
0
Enable inlining of small block definitions

#438 b-studios closed 1 month ago
3
Use google closure compiler

#437 b-studios opened 1 month ago
0
Improve parser performance by not copying strings all of the time

#436 b-studios closed 1 month ago
1
Adding a separate lexer

#435 dvdvgt opened 1 month ago
0
Unable to import and use a namespaced effect because of escaping its lexical scope

#434 jiribenes closed 1 month ago
0
Type mismatch error gets reported as an overload error

#433 jiribenes opened 1 month ago
0
Concurrent IO

#432 b-studios opened 1 month ago
4
Parsing of tuple types of size ≥3 is broken

#431 jiribenes opened 1 month ago
0
Misleading error "recursive functions need annotated return types"

#430 jiribenes opened 1 month ago
4
Structural equality on JavaScript backend doesn't work

#429 jiribenes opened 1 month ago
1
Investigate CI setup caching

#428 jiribenes opened 1 month ago
0
Use feature flags for extern definitions

#427 marzipankaiser closed 3 weeks ago
13
Qualified name using a nested namespace

#426 jiribenes opened 1 month ago
0
Add shortcutting for boolean operations

#425 marvinborner closed 1 month ago
7
Allow using `get` and `put` with UFCS

#424 jiribenes closed 1 month ago
1
Escaping newlines in single-line strings

#423 jiribenes opened 1 month ago
0
Allow braces in a pattern match

#422 jiribenes opened 1 month ago
0
Explicit interface boxing

#421 jiribenes closed 1 month ago
0
Rename Boolean to Bool

#420 marvinborner closed 1 month ago
0
Add support for names ending in ? and !

#419 b-studios closed 1 month ago
0
Add Existentials

#418 b-studios closed 1 month ago
3
Type omission for operation implementations and block arguments

#417 dvdvgt closed 2 weeks ago
7
Fix highlights for consoles with white text color

#416 marvinborner closed 2 months ago
0
Compiler stack overflow on long strings

#415 jiribenes closed 1 month ago
0
Omission of block/computation types in objects

#414 dvdvgt closed 2 weeks ago
0
Add benchmarks for reduction of functions

#413 marvinborner closed 2 months ago
0
Parser performance: rewrite parser using different combinator library

#412 dvdvgt opened 2 months ago
3
Feature: tracing/timing of compilation phases

#411 dvdvgt closed 2 months ago
6