[GHC] #1503: GHC doesn't respect monomorphism restrictions for non-type-class-restricted values that are bound

[GHC]

#1503: GHC doesn't respect monomorphism restrictions for non-type-class-restricted
values that are bound
-----------------------------+----------------------------------------------
    Reporter:  Isaac Dupree  |        Owner:         
        Type:  bug           |       Status:  new    
    Priority:  normal        |    Milestone:         
   Component:  Compiler      |      Version:  6.6.1  
    Severity:  normal        |   Resolution:         
    Keywords:                |   Difficulty:  Unknown
          Os:  Unknown       |     Testcase:         
Architecture:  Unknown       |  
-----------------------------+----------------------------------------------
Comment (by simonpj):

 No, loop does not fall under the monomorphism restriction because it is
 not overloaded.  See Rule 1 of Section 4.5.5. of the Haskell Report; only
 "constrained" type variables are not generalised.

 If you think something else is wrong, do report it; otherwise can you
 close the bug? Thanks

 S

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1503>
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