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 <[EMAIL PROTECTED]> 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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
