Ticket #366 (assigned feature request: None)
Opened 4 years ago
Last modified 2 months ago
incomplete patterns and GADT
| Reported by: | nobody | Assigned to: | nobody (accepted) |
|---|---|---|---|
| Priority: | normal | Milestone: | _|_ |
| Component: | Compiler | Version: | None |
| Severity: | minor | Keywords: | |
| Cc: | jcpetruzza@gmail.com, drl@cs.cmu.edu | Difficulty: | Unknown |
| Test Case: | tc215 | Operating System: | Unknown/Multiple |
| Architecture: | Unknown/Multiple |
