Hi,
Does the subclass relation have any meaning when two classes have instances with the same type?
I get the same results from Listing 1 and Listing 2 below.
Regards,
Pat
-- Listing 1- Subclass
data Shed = Shed
class Building building where
addressB :: building - Integer
addressB b =
On Sunday 16 October 2011, 20:03:02, Patrick Browne wrote:
Hi,
Does the subclass relation have any meaning when two classes
have instances with the same type?
I get the same results from Listing 1 and Listing 2 below.
Regards,
Pat
The only effect of a superclass constraint is that you can't
In the current example does the following totally or partially ignore the type class system.boo :: Shed - Integerboo h = addressB h + addressH hOn 16/10/11, Daniel Fischer daniel.is.fisc...@googlemail.com wrote:In your example, the only difference is that with the superclass constraintfoo ::
On Sunday 16 October 2011, 21:50:13, Patrick Browne wrote:
In the current example does the following totally or partially ignore
the type class system.
boo :: Shed - Integer
boo h = addressB h + addressH h
It doesn't ignore the type class system at all.
It's a monomorphic function using