Re: [Haskell-cafe] Can someone explain this typing restriction?

Google Scholar is often quite handy for this sort of situation. http://scholar.google.com/scholar?q=typing-haskell-in-haskell+jones Jared. On 8/14/06, Tim Walkenhorst <[EMAIL PROTECTED]> wrote: > > It can be found here: Thanks! Actually I've seen t

Re: [Haskell-cafe] Can someone explain this typing restriction?

It can be found here: Thanks! Actually I've seen this page before, but was too retarded to figure that you can access the actual document there. I thought it was just an abstract... (*embarrassed*) ___ Ha

Re: [Haskell-cafe] Can someone explain this typing restriction?

On Aug 14, 2006, at 4:52 PM, Gerrit van den Geest wrote: Tim Walkenhorst wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 1

Re: [Haskell-cafe] Can someone explain this typing restriction?

Tim Walkenhorst wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. No

Re: [Haskell-cafe] Can someone explain this typing restriction?

I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. Now you got me hooked. Whe

Re: [Haskell-cafe] Can someone explain this typing restriction?

Gerrit van den Geest wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones.

Re: [Haskell-cafe] Can someone explain this typing restriction?

I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. Gerrit __

Re: [Haskell-cafe] Can someone explain this typing restriction?

On Mon, Aug 14, 2006 at 02:17:05PM +0200, Tim Walkenhorst wrote: > I've stumbled over the following (code *extremely* simplified): > > f :: Bool > f = g 1 > > g :: Num a => a -> Bool > g _ = f > > This results in the following error message (on GHC): > >Contexts differ in length >When m

Re: [Haskell-cafe] Can someone explain this typing restriction?

> [...] Basically I interpret a symbol in a syntax-tree which can belong to different type-classes. [...] I meant, to different types of the same type-class. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] Can someone explain this typing restriction?

I've stumbled over the following (code *extremely* simplified): f :: Bool f = g 1 g :: Num a => a -> Bool g _ = f This results in the following error message (on GHC): Contexts differ in length When matching the contexts of the signatures for f :: Bool g :: forall a. (Num a) =>