Re: [GHC] #7217: Unification of type variables in constraints

#7217: Unification of type variables in constraints -+-- Reporter: sjoerd_visscher |Owner: Type: bug | Status: closed Priority: normal|

[GHC] #7218: No type level distinction between BroadcastTChan and TChan

#7218: No type level distinction between BroadcastTChan and TChan --+- Reporter: timthelion| Owner: Type: feature request | Status: new Priority: normal

[GHC] #7219: Reinstate constant propagation in some form

#7219: Reinstate constant propagation in some form -+-- Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: highest

Re: [GHC] #7215: miscompilation due to broken interface hash

#7215: miscompilation due to broken interface hash ---+ Reporter: akio| Owner: simonmar Type: bug | Status: new Priority:

Re: [GHC] #7218: No type level distinction between BroadcastTChan and TChan

#7218: No type level distinction between BroadcastTChan and TChan --+- Reporter: timthelion | Owner: simonmar Type: feature request| Status: new Priority: normal

[GHC] #7220: Confusing error message in type checking related to type family, fundep, and higher-rank type

#7220: Confusing error message in type checking related to type family, fundep, and higher-rank type --+- Reporter: tsuyoshi | Owner: Type: bug | Status:

Re: [GHC] #7220: Confusing error message in type checking related to type family, fundep, and higher-rank type

#7220: Confusing error message in type checking related to type family, fundep, and higher-rank type --+- Reporter: tsuyoshi | Owner: Type: bug | Status:

Re: [GHC] #6018: Injective type families

#6018: Injective type families +--- Reporter: lunaris | Owner: Type: feature request | Status: new Priority: normal |

[GHC] #7221: DataKinds with recursive data and type synonym causing GHC to crash

#7221: DataKinds with recursive data and type synonym causing GHC to crash +--- Reporter: gereeter| Owner: Type: bug | Status: new Priority: