Hi all,
In an attempt to design a elegant way to serialise things to any serialised
form, I came up with the following exotic solution:
###
{-# OPTIONS -fallow-undecidable-instances -fallow-overlapping-instances #-}
module Convertable where
class Convertable a b where
convert :: a - b
What would have GHC do for the convert :: String - String case?
(You'd like convert = id here but it's not clear to me what the
general rule should be.)
mike
The general rule should be that convert :: a - a = id, no matter what
other instances are available.
Is there any way to tell GHC
[EMAIL PROTECTED] wrote,
Generally, did you look at
http://haskell.org/ghc/docs/latest/html/users_guide/faster.html
module AIBD(aibd, rechneZins, rechneRate, rechneKapital) where
import Foreign(unsafePerformIO)
type Funktion = Double - Double
data Genauigkeit = Absolut {wert,
