I am also not convinced having subtyping in the type system is a good idea. Mixing parametric polymorphism, type-classes, and subtyping sounds like going the same way as Scala, and towards an unsound and undecidable type system.
Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
