[GHC] #307: Implicit Parameters and monomorphism

[GHC]

#307: Implicit Parameters and monomorphism
-----------------------------+----------------------------------------------
 Reporter:  nobody           |          Owner:  nobody  
     Type:  feature request  |         Status:  assigned
 Priority:  low              |      Milestone:  _|_     
Component:  None             |        Version:  None    
 Severity:  minor            |     Resolution:  None    
 Keywords:                   |     Difficulty:  Unknown 
 Testcase:                   |   Architecture:  Unknown 
       Os:  Unknown          |  
-----------------------------+----------------------------------------------
Changes (by igloo):

  * architecture:  => Unknown
  * difficulty:  => Unknown
  * milestone:  => _|_
  * testcase:  =>
  * os:  => Unknown

Old description:

> {{{
> http://www.haskell.org/pipermail/haskell-cafe/2005-January/008571.html
>
> Notes some oddness with recursive binding of implicit
> parameters. Roughly, giving a type signature to a
> function with implicit params causes its bindings to
> act recursively, despite what section 7.4.5.2 of the
> user's guide says.
> }}}

New description:

 {{{
 http://www.haskell.org/pipermail/haskell-cafe/2005-January/008571.html

 Notes some oddness with recursive binding of implicit
 parameters. Roughly, giving a type signature to a
 function with implicit params causes its bindings to
 act recursively, despite what section 7.4.5.2 of the
 user's guide says.
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/307>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler