#2905: require -XGADTs in order to pattern-match GADTs
+---
Reporter: guest|Owner:
Type: proposal | Status: closed
Priority:
#2905: require -XGADTs in order to pattern-match GADTs
+---
Reporter: guest|Owner:
Type: proposal | Status: new
Priority:
#2905: require -XGADTs in order to pattern-match GADTs
-+--
Reporter: guest| Owner:
Type: proposal | Status: new
Priority: normal
#2905: require -XGADTs in order to pattern-match GADTs
-+--
Reporter: guest| Owner:
Type: proposal | Status: new
Priority: normal
#2905: require -XGADTs in order to pattern-match GADTs
-+--
Reporter: guest | Owner:
Type: proposal | Status: new
Priority: normal
