Skip to content
This repository has been archived by the owner on Oct 19, 2023. It is now read-only.

Issues: mcenv/box

Adapt to 23w31a+
#486 opened Aug 2, 2023 by intsuc
Open
127 Open 128 Closed
127 Open 128 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Adapt to 23w31a+ compiler Compiler internal enhancement New feature or request language Language design optimization Optimization priority: high
#486 opened Aug 2, 2023 by intsuc 0.1.0
@intsuc
Define primitive types in prelude compiler Compiler internal language Language design priority: normal
#482 opened Jul 26, 2023 by intsuc
@intsuc
Warn unused symbols compiler Compiler internal enhancement New feature or request priority: normal
#481 opened Jul 21, 2023 by intsuc
@intsuc
Delayed popping compiler Compiler internal optimization Optimization
#479 opened Jul 21, 2023 by intsuc
@intsuc
Use Long instead of Range for term ranges compiler Compiler internal optimization Optimization
#477 opened Jul 20, 2023 by intsuc
@intsuc
Fine-grained exhaustiveness checking enhancement New feature or request language Language design priority: normal
#476 opened Jul 13, 2023 by intsuc
@intsuc
Optimize pattern matching compiler Compiler internal optimization Optimization priority: normal
#474 opened Jul 10, 2023 by intsuc
@intsuc
Optimize type-preserving compilation compiler Compiler internal optimization Optimization priority: normal
#470 opened Jul 5, 2023 by intsuc
@intsuc
Modal dependent types enhancement New feature or request language Language design priority: normal
#469 opened Jul 3, 2023 by intsuc
@intsuc
Algebraic simplification enhancement New feature or request language Language design priority: normal
#468 opened Jul 2, 2023 by intsuc
@intsuc
Explicit Neutral terms compiler Compiler internal priority: normal
#467 opened Jul 1, 2023 by intsuc
@intsuc
Higher-order unification enhancement New feature or request language Language design priority: normal
#466 opened Jul 1, 2023 by intsuc
@intsuc
Runtime code types enhancement New feature or request language Language design priority: normal
#465 opened Jul 1, 2023 by intsuc
@intsuc
Implement Datalog engine compiler Compiler internal priority: low
#464 opened Jun 30, 2023 by intsuc
@intsuc
Bidirectionalize representation synthesis/checking compiler Compiler internal priority: normal
#460 opened Jun 29, 2023 by intsuc
@intsuc
Registers enhancement New feature or request language Language design priority: low
#459 opened Jun 29, 2023 by intsuc
@intsuc
Incremental AST reconstruction compiler Compiler internal optimization Optimization priority: low
#457 opened Jun 27, 2023 by intsuc
@intsuc
Use incremental text document sync kind compiler Compiler internal optimization Optimization priority: low
#456 opened Jun 27, 2023 by intsuc
@intsuc
Implement SMT solver compiler Compiler internal enhancement New feature or request priority: low
#455 opened Jun 27, 2023 by intsuc
@intsuc
Implement SAT solver compiler Compiler internal enhancement New feature or request priority: low
#454 opened Jun 27, 2023 by intsuc
@intsuc
Implement LSP for Kotlin compiler Compiler internal priority: low
#453 opened Jun 25, 2023 by intsuc
@intsuc
Unify module system and file system language Language design
#452 opened Jun 25, 2023 by intsuc
@intsuc
Desugar let into single-branch match compiler Compiler internal
#444 opened Jun 18, 2023 by intsuc
@intsuc
Better data pack assembler compiler Compiler internal priority: normal
#443 opened Jun 18, 2023 by intsuc
@intsuc
Quantitative types enhancement New feature or request language Language design priority: normal
#442 opened Jun 18, 2023 by intsuc
@intsuc
ProTip! Mix and match filters to narrow down what you’re looking for.