[GHC] #1313: HEAD gives warnings about code that it generates itself

GHC trac at galois.com
Mon Apr 30 15:58:20 EDT 2007


#1313: HEAD gives warnings about code that it generates itself
--------------------------------------+-------------------------------------
  Reporter:  igloo                    |          Owner:  simonpj
      Type:  bug                      |         Status:  new    
  Priority:  normal                   |      Milestone:  6.8    
 Component:  Compiler (Type checker)  |        Version:  6.7    
  Severity:  normal                   |       Keywords:         
Difficulty:  Unknown                  |             Os:  Unknown
  Testcase:                           |   Architecture:  Unknown
--------------------------------------+-------------------------------------
The HEAD is now giving warnings about code that it generates itself, e.g.
 {{{
 module Q where

 data Foo = Bar Int
 }}}
 gives
 {{{
 $ ghc -fforce-recomp -Wall -fgenerics -c q.hs

 q.hs:4:5:
     Warning: Definition but no type signature for `Q.$gtoFoo'
              Inferred type: Q.$gtoFoo :: Int -> Foo

 q.hs:4:5:
     Warning: Definition but no type signature for `Q.$gfromFoo'
              Inferred type: Q.$gfromFoo :: Foo -> Int
 }}}
 I assume that this is since the change which added the inferred type to
 the
 warning, but I haven't confirmed that.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1313>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list