[GHC] #1614: Type checker does not use fundep to avoid ambiguity

[Lennart Augustsson]

I have a real program that causes this.  I was just being nice and reducing
it to the smallest example I could come up with. :)

On 8/24/07, GHC <trac at galois.com> wrote:
>
> #1614: Type checker does not use fundep to avoid ambiguity
>
> ----------------------------------------+-----------------------------------
>     Reporter:  guest                    |        Owner:
>         Type:  bug                      |       Status:  new
>     Priority:  normal                   |    Milestone:  6.8
>    Component:  Compiler (Type checker)  |      Version:  6.7
>     Severity:  normal                   |   Resolution:
>     Keywords:                           |   Difficulty:  Unknown
>           Os:  MacOS X                  |     Testcase:
> Architecture:  x86                      |
>
> ----------------------------------------+-----------------------------------
> Comment (by simonpj):
>
> This is a variant of #1624.  Why didn't you write this?
> {{{
> unC :: Int -> Int
> }}}
> Do you have a real program in which this causes you a problem?  Death to
> functional dependencies, say I.
>
> Simon
>
> --
> Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1614>
> GHC <http://www.haskell.org/ghc/>
> The Glasgow Haskell Compiler
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20070824/5ec51593/attachment.htm