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

No labels!

There aren’t any labels for this repository quite yet.

29 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
aesthetics
aesthetics
Backend
Backend
Issues/PRs relating to the generation of Lua code
1
bug
bug
11
Chicken Backend
Chicken Backend
Issues/PRs relating to the generation of Chicken Scheme code.
duplicate
duplicate
enhancement
enhancement
13
good first issue
good first issue
1
help wanted
help wanted
1
Infra
Infra
Infrastructure issues.
1
invalid
invalid
Optimiser
Optimiser
Issues and PRs relating to the optimiser
3
Parser
Parser
Issues/PRs relating to the parser
1
question
question
5
Resolve
Resolve
Issues relating to the resolver
1
Standard Library
Standard Library
Issues relating to the standard library and prelude
1
TC: Associated Types
TC: Associated Types
Issues/PRs relating to associated types
TC: GADTs
TC: GADTs
Issues/PRs relating to the type checking of generalised algebraic data types and their usage
TC: Solver
TC: Solver
Issues/PRs relating to the constraint solver (equality constraints and type classes)
TC: Type Classes
TC: Type Classes
Issues/PRs relating to the type checking of definitions of type classes and instances
1
TC: Type Functions
TC: Type Functions
Issues/PRs relating to top-level closed type functions
2
TC
TC
Issues/PRs relating to something else in the TC
4
Verify: pmcheck
Verify: pmcheck
Issues/PRs concerning the pattern-matching checker
Verify
Verify
Issues/PRs concerning the rest of the verifier
1
wontfix
wontfix
X-Core Lint
X-Core Lint
Core lint errors in type-checked code.
2
x-distribution
x-distribution
Bugs relating to the distribution of Amulet.
X-ICE
X-ICE
Internal compiler errors.
X-soundness
X-soundness
Soundness bugs.
1
Yet Another Module System
Yet Another Module System
Issues/PRs relating to YAMS
1