Hello Jacques, Friday, February 2, 2007, 12:31:22 AM, you wrote:
> If there were a standard library of type-simplifiers, that could > preprocess "forall a b. Int" to "Int", I again would be fine with only > allowing Int. i think that we shouldn't reduce reliability in order to make tools author's life easier. Haskell is the language for programming in the first place. there are other languages like C-- that is used primarily for automatic code generation -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime