#8306: NegativeLiterals allows negative type-level integers
-------------------------------------+-------------------------------------
Reporter: monoidal | Owner: thoughtpolice
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: GHC accepts | Difficulty: Easy (less than 1
invalid program | hour)
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+-------------------------------------
Comment (by Austin Seipp