#7221: DataKinds with recursive data and type synonym causing GHC to crash
+---
Reporter: gereeter| Owner:
Type: bug | Status: new
Priority: nor
#6018: Injective type families
+---
Reporter: lunaris | Owner:
Type: feature request | Status: new
Priority: normal | M
#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
--+-
Reporter: tsuyoshi | Owner:
Type: bug | Status:
#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
--+-
Reporter: tsuyoshi | Owner:
Type: bug | Status:
#7218: No type level distinction between BroadcastTChan and TChan
--+-
Reporter: timthelion | Owner: simonmar
Type: feature request| Status: new
Priority: normal
#7215: miscompilation due to broken interface hash
---+
Reporter: akio| Owner: simonmar
Type: bug | Status: new
Priority: highes
#7219: Reinstate constant propagation in some form
-+--
Reporter: simonmar | Owner: simonmar
Type: bug | Status: new
Priority: highest
#7218: No type level distinction between BroadcastTChan and TChan
--+-
Reporter: timthelion| Owner:
Type: feature request | Status: new
Priority: normal
#7212: GHCi segmentation fault
---+
Reporter: zenzike | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
Compone
#7217: Unification of type variables in constraints
-+--
Reporter: sjoerd_visscher |Owner:
Type: bug | Status: closed
Priority: normal|
10 matches
Mail list logo