When I asked about overlapping types, Tom Pledger wrote:
> It means that when the system sees a class method of Bindable (I'm
> guessing there's one called bind) applied to a value of type Canvas
> (which must be a synonym for PWidget something, in order for there to
> be an overlap), it can't tell whether it's supposed to use the
> implementation from `instance Bindable Canvas' or the implementation
> from `instance Bindable (PWidget a)'.
>
> Hugs has an extension which you can enable on the command line, to
> permit overlapping instances as long as one is strictly more specific
> than the other, with the more specific instance's implementations
> taking precedence. The message "Common instance : Bindable Canvas"
> shows that it's applicable.
Thanks, not only does it work fine, but I understand a little better.
As it turns out the options that hugs seems to need to run frantk are
hugs +o -98 -P<appropriate path>
It might be good if this made it into the frantk documention.
Tim
