Search results

Panic with dependent composition

Status: Open.

#71 In goldfirere/ghc;

· goldfirere opened on Jul 18, 2016

Inferring extra parameters

Status: Open.

#70 In goldfirere/ghc;

· goldfirere opened on Jul 1, 2016

Not in scope while type-checking

Status: Open.

#69 In goldfirere/ghc;

· goldfirere opened on Jun 13, 2016

Kind synonym hangs

Status: Open.

#68 In goldfirere/ghc;

· goldfirere opened on Jun 13, 2016

[Feature Request] Visible Forall

Status: Open.

#67 In goldfirere/ghc;

· int-index opened on Jan 2, 2016

GHC hangs on GADT with lifted recursive occurrence

Status: Open.

#65 In goldfirere/ghc;

· AndrasKovacs opened on Dec 22, 2015

Fix type-level indexed STLC

Status: Open.

#64 In goldfirere/ghc;

· goldfirere opened on Dec 17, 2015

Levity-polymorphic type synonym doesn't work

Status: Open.

#60 In goldfirere/ghc;

· goldfirere opened on Dec 7, 2015

Panic with GHC.TypeLits

Status: Open.

#58 In goldfirere/ghc;

· vladfi1 opened on Nov 14, 2015

Unpack lifted equalities for use in types

Status: Open.

#57 In goldfirere/ghc;

· goldfirere opened on Nov 10, 2015

Self quantification in data declarations

Status: Open.

#56 In goldfirere/ghc;

· RafaelBocquet opened on Nov 5, 2015

Terrible error message from ->/~> confusion

Status: Open.

#52 In goldfirere/ghc;

· goldfirere opened on Oct 12, 2015