jstolarek/ghc

Issues

• Make sure type synonyms can be used in return types

  #185 opened 9 years ago by jstolarek
  0

• Do we want context or open kinds?

  #184 opened 9 years ago by jstolarek
  0

• What roles should an open kind have?

  #181 opened 9 years ago by jstolarek
  0

• Associated open kinds

  #179 opened 9 years ago by jstolarek
  0

• Open kind members before kind declaration

  #183 opened 9 years ago by jstolarek
  0

• Open kind members live in data namespace

  #182 opened 9 years ago by jstolarek
  0

• Implement open data kinds in the parser

  #168 opened 9 years ago by jstolarek
  0

• Changes specs of -XKindsWithoutData

  #177 opened 9 years ago by jstolarek
  0

• Support for kinds without data in boot files

  #180 opened 9 years ago by jstolarek
  0

• Fix annotations test according to Alan's comment

  #178 opened 9 years ago by jstolarek
  0

• Replace `ptext . sLit` with `text`

  #176 opened 9 years ago by jstolarek
  1

• Things to test

  #171 opened 9 years ago by jstolarek
  0

• Can construct functions that operate on kinds

  #170 opened 9 years ago by jstolarek
  0

• No derivings for data kinds

  #172 opened 9 years ago by jstolarek
  0

• Treatment of 'kind' in the parser

  #166 opened 9 years ago by jstolarek
  1

• Come up with a new language extension name

  #165 opened 9 years ago by jstolarek
  0

• Create user documentation

  #173 opened 9 years ago by jstolarek
  0

• Register new language extension

  #175 opened 9 years ago by jstolarek
  0

• Introduce function for language extension reporting

  #174 opened 9 years ago by jstolarek
  0

• Add support for GADT syntax

  #167 opened 9 years ago by jstolarek
  0

• Add Template Haskell support

  #169 opened 9 years ago by jstolarek
  0

• Verify Typed Template Haskell support

  #159 opened 9 years ago by jstolarek
  1

• Add an asssertion that checks uniqueness of keys

  #146 opened 9 years ago by jstolarek
  1

• Test quoting

  #163 opened 9 years ago by jstolarek
  0

• Reify GADT constructors

  #164 opened 9 years ago by jstolarek
  0

• Add kind annotations to GADTs

  #162 opened 9 years ago by jstolarek
  0

• Document changes

  #160 opened 9 years ago by jstolarek
  1

• Haddockify Lib module

  #161 opened 9 years ago by jstolarek
  1

• Refactor injectivity check

  #158 opened 9 years ago by jstolarek
  0

• Template Haskell support for generalized injectivity

  #157 opened 9 years ago by jstolarek
  0

• Implement new renaming

  #154 opened 9 years ago by jstolarek
  1

• Update documentation

  #153 opened 9 years ago by jstolarek
  0

• Update typechecker to use generalized injectivity information

  #156 opened 9 years ago by jstolarek
  0

• Implement generalized injectivity check

  #155 opened 9 years ago by jstolarek
  0

• Come up with a new representation of injectivity inside the compiler

  #151 opened 9 years ago by jstolarek
  0

• Parse generalized injecticity annotations, including multiple annotations

  #152 opened 9 years ago by jstolarek
  0

• Implement changes in Core as described in the paper

  #142 opened 9 years ago by jstolarek
  6

• Add ticket about meaningless assert

  #150 opened 9 years ago by jstolarek
  0

• Add assertions

  #148 opened 9 years ago by jstolarek
  1

• Merge all closed type family injectivity tests into one

  #149 opened 9 years ago by jstolarek
  0

• Error reporting is inconsistent between open and closed type families

  #138 opened 10 years ago by jstolarek
  1

• Create tickets about generalized injectivity and Core changes

  #147 opened 9 years ago by jstolarek
  0

• Validate failures after a rebase

  #144 opened 9 years ago by jstolarek
  2

• Invalid ITF accepted

  #145 opened 9 years ago by jstolarek
  1

• Test liberal bare variable in the RHS restriction

  #143 opened 9 years ago by jstolarek
  0

• Implement top-level improvements as described in Definition 10

  #140 opened 9 years ago by jstolarek
  1

• Better error location for associated type defaults

  #141 opened 9 years ago by jstolarek
  1

• Check for injectivity when associated type defaults are used

  #137 opened 9 years ago by jstolarek
  1

• Implement checking of a single equation

  #136 opened 9 years ago by jstolarek
  1

• Pre-unifying type constructors with type variables does not work

  #139 opened 10 years ago by jstolarek
  1