grimheart-lang/grimheart

Issues

• Move from ordered contexts to substitutions

  #41 opened 3 years ago
  0

• Skolem escape checks are incorrect

  #40 opened 3 years ago
  1

• Explicit occurs checks

  #39 opened 3 years ago
  0

• Desugaring

  #38 opened 3 years ago
  0

• Pattern matching

  #37 opened 3 years ago
  0

• Source modules

  #36 opened 3 years ago
  0

• Emitting interface files

  #34 opened 3 years ago
  0

• Extend the type checker with skolem types

  #30 opened 3 years ago
  1

• Make unsolved/solved context elements have kinds

  #29 opened 3 years ago
  0

• Separate type checker from kind checker

  #28 opened 3 years ago
  0

• Make the compiler report skolem escapes

  #23 opened 3 years ago
  1

• Fold subtyping into unification

  #22 opened 3 years ago
  0

• Implement Extensible Row/Record Types

  #21 opened 3 years ago
  0

• Create unified error infrastructure

  #20 opened 3 years ago
  1

• Rethrow better errors when appropriate

  #19 opened 3 years ago
  0

• Create basic CI configuration

  #17 opened 3 years ago
  0

• Move syntax types into the AST package

  #16 opened 3 years ago
  0

• What this project really is

  #10 opened 3 years ago
  0

• Formalize language grammar and implement parser

  #9 opened 3 years ago
  0

• Split the compiler into separate packages

  #8 opened 3 years ago
  0

• Abstract away explicit context passing

  #7 opened 3 years ago
  2

• Implement algebraic data types

  #6 opened 3 years ago
  0

• Create bidirectional typing rules for kinds

  #5 opened 3 years ago
  1

• Extend bidirectional typing rules where kinds appear

  #4 opened 3 years ago
  0

• Type System Test Suite

  #3 opened 3 years ago
  0

• Type Classes

  #2 opened 3 years ago
  0

• PolyKinds and TypeInType

  #1 opened 3 years ago
  1