Re: [Haskell-cafe] hint and type synonyms

2012-04-01 Thread Daniel Gorín
Hi I think I see now what the problem you observe is. It is not related with type synonyms but with module scoping. Let me briefly discuss what hint is doing behind the scenes and why, this may give a better understanding of what kind of things will and will not work. While hint is directly

[Haskell-cafe] hint and type synonyms

2012-03-31 Thread Claude Heiland-Allen
Hi all, What's the recommended way to get hint[0] to play nice with type synonyms[1]? A problem occurs with in scope type synonyms involving types not in scope. I came up with this after looking at the source[2], but it makes me feel ill: --8-- -- hint and type synonyms don't play nice

Re: [Haskell-cafe] hint and type synonyms

2012-03-31 Thread Claude Heiland-Allen
Hi Daniel, cafe, On 31/03/12 17:47, Daniel Gorín wrote: Could you provide a short example of the code you'd like to write but gives you problems? I'm not able to infer it from your workaround alone... This problem originally came up on #haskell, where Rc43 had a problem making a library