[Yhc] "default" keyword bugs

Isaac isaacdupree at charter.net
Fri Aug 18 06:37:16 EDT 2006


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I just tried some uses of the "default" keyword with Yhc that failed,
and I didn't find any existing Yhc test-cases for this keyword. These
all run with Hugs.

Fails with Yhc:
- ----------
import Ratio (
  Ratio -- :: * -> *
 )
default (Ratio Integer)
main = putStrLn "okay"
- ----------

but works with Yhc:
- ----------
import Ratio (
  Ratio -- :: * -> *
 )
type RatioInteger = Ratio Integer
default (RatioInteger)
main = putStrLn "okay"
- ----------


Fails (differently) with Yhc:
- ----------
default(Rational)
main = print (0.1 * 3 == 0.3)
- ----------

but works with Yhc:
- ----------
default(Rational)
main = print ((0.1 :: Rational) * 3 == 0.3)
- ----------


Isaac

P.S. I know that type Rational = Ratio Integer
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFE5ZhcHgcxvIWYTTURAl9dAKCLUs9q1sxFVdWee2DJK2LDZf7HjgCgs/aK
EI0FuUgMqK6OdAlJ+BP6zfE=
=37e3
-----END PGP SIGNATURE-----


More information about the Yhc mailing list