#4426: Simplify the rules for implicit quantification
-+--
Reporter: simonpj |Owner:
Type: feature request | Status: new
Priority: normal|
#1769: Deriving Typeable for data families
+---
Reporter: chak |Owner: chak
Type: task | Status: new
Priority: low
#4491: dataToQa uses only unqualified names when converting values to their TH
representation.
-+--
Reporter: gmainland |Owner:
Type: bug | Status: new
#4484: Regression: Combination of GADTs and Type families
-+--
Reporter: sjoerd_visscher |Owner:
Type: bug | Status: new
#4484: Regression: Combination of GADTs and Type families
-+--
Reporter: sjoerd_visscher |Owner:
Type: bug | Status: new
#4484: Regression: Combination of GADTs and Type families
-+--
Reporter: sjoerd_visscher |Owner:
Type: bug | Status: merge
#4492: Type families regression
-+--
Reporter: rl | Owner:
Type: bug | Status: closed
Priority:
#3005: Normalize fully-applied type functions prior to display
-+--
Reporter: dmcclean |Owner: chak
Type: feature request | Status: new
Priority: low
#4485: Unexplained change in type-inference + OverlappingInstances in
-+--
Reporter: JeremyShaw|Owner:
Type: bug | Status: new
#4491: dataToQa uses only unqualified names when converting values to their TH
representation.
-+--
Reporter: gmainland |Owner:
Type: bug | Status: new
#836: rebindable if-then-else syntax
+---
Reporter: nibro | Owner: igloo
Type: feature request| Status: closed
Priority: normal |
#3440: Improve error message for GADT failures
--+-
Reporter: simonpj | Owner:
Type: bug | Status: closed
#4484: Regression: Combination of GADTs and Type families
-+--
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: closed
#4494: Another regression with type families
-+--
Reporter: rl| Owner:
Type: bug | Status: new
Priority: normal
#4494: Another regression with type families
-+--
Reporter: rl| Owner:
Type: bug | Status: new
Priority: normal
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4485: Unexplained change in type-inference + OverlappingInstances in
-+--
Reporter: JeremyShaw|Owner:
Type: bug | Status: new
#4342: Review containers changes
+---
Reporter: igloo | Owner:
Type: bug| Status: closed
Priority: high | Milestone:
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4488: Warn about unnecessary fromIntegral and other conversions
-+--
Reporter: mitar |Owner:
Type: feature request | Status: new
Priority: normal
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4494: Another regression with type families
+---
Reporter: rl |Owner:
Type: bug | Status: new
#4488: Warn about unnecessary fromIntegral and other conversions
-+--
Reporter: mitar |Owner:
Type: feature request | Status: new
Priority: normal
26 matches
Mail list logo