[GHC] #11482: Turn -fdefer-typed-holes on by default
GHC
ghc-devs at haskell.org
Mon Jan 25 11:21:38 UTC 2016
#11482: Turn -fdefer-typed-holes on by default
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect | Unknown/Multiple
warning at compile-time | Test Case:
Blocked By: | Blocking:
Related Tickets: #9497, #11481 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Lemming):
A different approach to the problem would be a TotalHaskell extension.
The first and simple approach would be to warn about any use of
`undefined` and `error`,
and the second much more sophisticated approach would be to warn only
about bottoms that can be reached plus a termination check.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11482#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list