[Haskell] XML Serialization and type constraints

2004-08-24 Thread Simon D. Foster
I'm trying to implement an extensible XML De/Serializer in Haskell for use with SOAP and XML Schema (using the Haskell XML Toolbox). The idea is you have a type-class, which is instantiated for each type you want to encode/de-encode. This class (atm) takes the form; class XMLSerializer a where

[Haskell] ICFP'04 early registration deadline

2004-08-24 Thread Amr A Sabry
** *** Early registration rates expire 25 August 2004 *** ** The 2004 International Conference on Functional Programming (ICFP) Snowbird,

[Haskell] Re: overzealous defaulting?

2004-08-24 Thread Malcolm Wallace
John Meacham <[EMAIL PROTECTED]> writes: > module A where > import B > a = 32 + b > default (Integer) > > module B where > import A > b = 32 + a > default (Int) > > > so, what types do 'a' and 'b' get? > ghc sort of sidesteps the issues with the hi-boot files, so they will > get whatever is dec

[Haskell] Re: overzealous defaulting?

2004-08-24 Thread John Meacham
This reminds me of something I have not quite figured out what should happen from the report module A where import B a = 32 + b default (Integer) module B where import A b = 32 + a default (Int) so, what types do 'a' and 'b' get? ghc sort of sidesteps the issues with the hi-boot files, so they