projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 0656c72)
Add warning for probable identities (fromIntegral and friends)
authorsimonpj@microsoft.com <unknown>
Tue, 16 Nov 2010 17:15:10 +0000 (17:15 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 16 Nov 2010 17:15:10 +0000 (17:15 +0000)
See Trac #4488.  The basic idea is to check for

    fun :: ty -> ty

where fun is one of
  toIntegerName     toRationalName
  fromIntegralName  realToFracName

There's a (documented) flag to control it -fwarn-identities.
Currently -Wall switches it on.


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)