On Mon, Sep 15, 2008 at 4:18 AM, Simon Peyton-Jones
<[EMAIL PROTECTED]> wrote:
>
> If you can suggest improvements to the manual I'm all ears.  Notably, it says 
> nothing about what "rigid" means or how it propagates.

A good solid definition of rigid would be nice.  You pointed me at a
paper on wobbly types that I found to be quite helpful in my
understanding of the type checking issues.  The paper told me that
roughly speaking rigid means explicit.  Once I was armed with just
that information I started tackling more and more of these type check
problems.

Thanks,
Jason
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to