[GHC] #8412: TH allows negative type-level integers
GHC
ghc-devs at haskell.org
Sat Oct 12 17:42:46 UTC 2013
#8412: TH allows negative type-level integers
-------------------------------------+-------------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
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 Krzysztof Gogolewski <krz.gogolewski@…>):
In [changeset:"2216b4d37fa12f7e9d16d8942d3ec9d0ad5376e6/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="2216b4d37fa12f7e9d16d8942d3ec9d0ad5376e6"
Reject negative type-level integers created via TH (#8412)
This commit moves the check from parser to renamer.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8412#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list