projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9c34f4) | patch
Warn a bit less often about unlifted bindings.
authorsimonpj@microsoft.com <unknown>
Tue, 16 Nov 2010 17:18:43 +0000 (17:18 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 16 Nov 2010 17:18:43 +0000 (17:18 +0000)
commit67157c5c25c8044b54419470b5e8cc677be060c3
tree385a9dc751149254d5beb712d855bc140f46a51dtree | snapshot
parentb9c34f4729c68fbe278cd69050d7a429c75b29b2commit | diff
Warn a bit less often about unlifted bindings.

Warn when
   (a) a pattern bindings binds unlifted values
   (b) it has no top-level bang
   (c) the RHS has a *lifted* type

Clause (c) is new, argued for by Simon M

Eg     x# = 4# + 4#      -- No warning
       (# a,b #) = blah  -- No warning
       I# x = blah       -- Warning
compiler/hsSyn/HsPat.lhs diff | blob | history
compiler/typecheck/TcBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)