[Haskell-cafe] Trouble with types

Tomasz Zielonka t.zielonka at students.mimuw.edu.pl
Fri Jul 23 12:22:57 EDT 2004

On Fri, Jul 23, 2004 at 07:18:28PM +0300, Kari Pahula wrote:
> temp :: (Real a) => Object (Energy a) (HeatC a) -> Temp a
> temp Object (Energy e) (HeatC c) = Temp e*c

Probably this, but I didn't check:

  temp (Object (Energy e) (HeatC c)) = Temp e*c

Best regards,

.signature: Too many levels of symbolic links

More information about the Haskell-Cafe mailing list