GitHub repository: amuletml/amulet

Issues:
issue_302: state: open
title: Confusing error location on `type syn <- foo [bar]`
user: s5bug
issue_301: state: open
title: Exporting a Lua-array
user: s5bug
issue_300: state: open
title: Exporting a function with multiple arguments
user: s5bug
issue_299: state: open
title: Returning a top-level export instead of as part of a table
user: s5bug
issue_293: state: open
title: Instances cannot be found when records are directly involved
user: viluon
labels: TC: Type Classes: Issues/PRs relating to the type checking of definitions of type classes and instances
issue_286: state: open
title: Optimiser η-contraction makes mutual recursion too strict
user: plt-amy
labels: X-soundness: Soundness bugs.
Optimiser: Issues and PRs relating to the optimiser
issue_285: state: open
title: Very big code results in too many locals
user: plt-amy
labels: Backend: Issues/PRs relating to the generation of Lua code
issue_282: state: open
title: Integral mod
user: Lignum
labels: Standard Library: Issues relating to the standard library and prelude
issue_281: state: open
title: Type checker can't infer impredicative instantations from matches
user: plt-amy
labels: TC: Issues/PRs relating to something else in the TC
X-Core Lint: Core lint errors in type-checked code.
issue_274: state: open
title: High memory utilization on 1.0.0.0 (d6b1bcb1)
user: Lupus
issue_268: state: open
title: Update documentation
user: chrisnevers
labels: Infra: Infrastructure issues.
issue_265: state: open
title: Shadowing related optimiser fixes
user: SquidDev
labels: X-Core Lint: Core lint errors in type-checked code.
Optimiser: Issues and PRs relating to the optimiser
issue_259: state: open
title: Type family reduction errors
user: SquidDev
labels: TC: Type Functions: Issues/PRs relating to top-level closed type functions
TC: Issues/PRs relating to something else in the TC
issue_254: state: open
title: Default methods not visited in Verify
user: SquidDev
labels: Verify: Issues/PRs concerning the rest of the verifier
issue_239: state: open
title: Any official place to get the up-to-date Vim highlighting?
user: davidgarland
issue_230: state: open
title: Weird error when trying to create custom exception
user: Lupus
labels: Yet Another Module System: Issues/PRs relating to YAMS
Resolve: Issues relating to the resolver
issue_222: state: open
title: Further editor fanciness
user: SquidDev
issue_219: state: open
title: Returning quantified types from type functions is mighty fragile
user: plt-amy
labels: TC: Type Functions: Issues/PRs relating to top-level closed type functions
TC: Issues/PRs relating to something else in the TC
issue_216: state: open
title: Let-of-bottom optimisation
user: plt-amy
labels: Optimiser: Issues and PRs relating to the optimiser
issue_197: state: open
title: Mutually recursive types
user: SquidDev
labels: TC: Issues/PRs relating to something else in the TC
issue_193: state: open
title: Talkin' 'bout my documentation
user: SquidDev
issue_160: state: open
title: Context termination is too aggressive 
user: SquidDev
labels: Parser: Issues/PRs relating to the parser
issue_151: state: open
title: Work out a better way of handling continuations on multi-match
user: src-of-truth[bot]
issue_150: state: open
title: We should really verify the kinds match up, but we're a long way away
user: src-of-truth[bot]
issue_147: state: open
title: Convert this to a breadth first search - loops are
user: src-of-truth[bot]
issue_135: state: open
title: Warnings on problematic indentation
user: SquidDev
issue_129: state: open
title: Improved resolver errors
user: SquidDev
issue_127: state: open
title: Curried constructors
user: SquidDev
issue_126: state: open
title: Self tail-call optimisation
user: SquidDev
issue_124: state: open
title: Work out whether we need to bind type variables at all.
user: src-of-truth[bot]
issue_15: state: open
title: Core improvements
user: SquidDev