This repository was archived by the owner on Oct 19, 2023. It is now read-only.
-
-
Notifications
You must be signed in to change notification settings - Fork 0
- #486 · intsuc opened
on Aug 2, 2023
Issues
is:issue state:open
is:issue state:open
Search results
Adapt to
23w31a+compilerCompiler internalCompiler internalenhancementNew feature or requestNew feature or requestlanguageLanguage designLanguage designoptimizationOptimizationOptimizationStatus: Open.Define primitive types in
preludecompilerCompiler internalCompiler internallanguageLanguage designLanguage designStatus: Open.#482 In intsuc/box;Warn unused symbols
compilerCompiler internalCompiler internalenhancementNew feature or requestNew feature or requestStatus: Open.#481 In intsuc/box;Delayed popping
compilerCompiler internalCompiler internaloptimizationOptimizationOptimizationStatus: Open.#479 In intsuc/box;Use
Longinstead ofRangefor term rangescompilerCompiler internalCompiler internaloptimizationOptimizationOptimizationStatus: Open.#477 In intsuc/box;Fine-grained exhaustiveness checking
enhancementNew feature or requestNew feature or requestlanguageLanguage designLanguage designStatus: Open.#476 In intsuc/box;Optimize pattern matching
compilerCompiler internalCompiler internaloptimizationOptimizationOptimizationStatus: Open.#474 In intsuc/box;Optimize type-preserving compilation
compilerCompiler internalCompiler internaloptimizationOptimizationOptimizationStatus: Open.#470 In intsuc/box;Modal dependent types
enhancementNew feature or requestNew feature or requestlanguageLanguage designLanguage designStatus: Open.#469 In intsuc/box;Algebraic simplification
enhancementNew feature or requestNew feature or requestlanguageLanguage designLanguage designStatus: Open.#468 In intsuc/box;Explicit
NeutraltermscompilerCompiler internalCompiler internalStatus: Open.#467 In intsuc/box;Higher-order unification
enhancementNew feature or requestNew feature or requestlanguageLanguage designLanguage designStatus: Open.#466 In intsuc/box;