Re: [Haskell] Strange type inference
On 7/7/06, Emil Axelsson <[EMAIL PROTECTED]> wrote: Hello! I'm observing a strange type inference result in the program at the end of the message. term1 and term2 have the same definitions, except for a type annotation for term2, but GHCi infers the following types: *Main> :t term1 term1 :: Term () *Main> :t term2 term2 :: forall a. Term a Could anyone please explain this? It's because of the monomorphism restriction which is widely regarded as one of the uglier parts of Haskell. You can turn it off with -fno-monomorphism-restriction and read more about it here: http://haskell.org/onlinereport/decls.html#sect4.5.5 -- Friendly, Lemmih ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Strange type inference
Hello! I'm observing a strange type inference result in the program at the end of the message. term1 and term2 have the same definitions, except for a type annotation for term2, but GHCi infers the following types: *Main> :t term1 term1 :: Term () *Main> :t term2 term2 :: forall a. Term a Could anyone please explain this? Thank you, / Emil --- data Term a = X class Constructive term a | term -> a where construct :: term -> Term a instance Constructive (Term a) a where construct = id term1 = construct X term2 :: Term a term2 = construct X ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] ANNOUNCE: Haskell XML Toolbox Version 6.1
On Fri, 07 Jul 2006 19:46:09 +0900, Johannes Waldmann <[EMAIL PROTECTED]> wrote: Is there a library/tutorial that supports/explains providing web services (SOAP transport, WSDL description)? HAIFA provide SOAP support. And you can read tutrial and Document this site. http://www.dcs.shef.ac.uk/~simonf/HAIFA.html But ... HAIFA is under GPL License and current version of HAIFA doesn't include any sample code. Best regards -- shelarcy http://page.freett.com/shelarcy/ ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] ANNOUNCE: Haskell XML Toolbox Version 6.1
Is there a library/tutorial that supports/explains providing web services (SOAP transport, WSDL description)? I know (and use) haxr (XML-RPC) but it seems that SOAP is the accepted standard in Java circles nowadays. -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- http://www.imn.htwk-leipzig.de/~waldmann/ --- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ANNOUNCE: Haskell XML Toolbox Version 6.1
Haskell XML Toolbox 6.1 I would like to announce a new version of the Haskell XML Toolbox for processing XML. Functionality has not changed since HXT 6.0. HXT 6.1 works with the latest HTTP module (2006-07-07). Thanks to Bjorn Bringert <[EMAIL PROTECTED]> this one does not depend any more on the crypto package and contains only a single package http. So the installation process becomes simpler. There is no need to upgrade from a running HXT 6.0 version. More information and download: http://www.fh-wedel.de/~si/HXmlToolbox/index.html Please email comments, bugs, etc. to [EMAIL PROTECTED] Uwe -- University of Applied Sciences, Wedel, Germany http://www.fh-wedel.de/~si/index.html ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
