Re: Restricted Types and Infinite Loops

2005-02-18 Thread Simon David Foster
, but that makes the construction and encoding of namespace tables almost impossible. Thanks, -Si. -- Simon David Foster [EMAIL PROTECTED] ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: Restricted Types and Infinite Loops [SOLVED, I think]

2005-02-18 Thread Simon David Foster
because the dependency on XMLNamespace comes in the instances, rather than the class head. -Si. -- Simon David Foster [EMAIL PROTECTED] ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: GHC 6.4 release candidates available [GHCi reloads incorrectly]

2005-02-11 Thread Simon David Foster
this is incorrect behaviour. -Si. -- Simon David Foster [EMAIL PROTECTED] ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: GHC 6.4 release candidates available [GHCi loads incorrectly]

2005-02-11 Thread Simon David Foster
of the files searched for Prelude My.Module -Si. On Fri, 2005-02-11 at 13:50 +, Simon David Foster wrote: If I have two simple modules, Module1 and Module2 like this; module Module1 where f = hello module Module2 where import Module1 I load up Module2 in GHCi, and I can evaluate f

Re: GHC 6.4 release candidates available

2005-02-10 Thread Simon David Foster
fault or GHCs? -Si. -- Simon David Foster [EMAIL PROTECTED] {-# OPTIONS -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances #-} module Test where import Data.Typeable -- Skeleton of the Data class class (Typeable a, Sat (ctx a)) = Data ctx a -- Our main class with 2

Re: Restricted Types and Infinite Loops

2005-01-31 Thread Simon David Foster
parameter is quantified as well. But I need it to be general so I can have different contexts. Is there anyway around this problem without actually putting func2 into ClassA itself? -Si. On Thu, 2005-01-27 at 14:11 +, Simon David Foster wrote: Hi, (I've attached the full code

Mutually recursive modules and derived instances of Data

2004-10-11 Thread Simon David Foster
Hi, If I have two modules which are mutually recursive; module A where data TA = TA String deriving (Data, Typeable) module B where data TB = TB TA deriving (Data, Typeable) How do I got about writing a hi-boot that will work in GHC? The problem is that to do proper XML Schema

URI Typeable Data

2004-09-15 Thread Simon David Foster
Could we possibly have derived instances of Typeable and Data for Network.URI.URI in the 6.3 CVS please? -Si. ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Extensible Serialization class with type classes

2004-08-26 Thread Simon David Foster
I've been trying to put together a type-class based serialization (XML) for types in GHC. Essentially the serializer class takes the form class Seriliazer a where serialize :: a - XmlFilter This works very well, but I then wanted to make this system extensible, so that for example for types

Re: ghci can't continue in a situation (HXml Toolbox)

2004-03-12 Thread Simon David Foster
I had to remove POpen from HXT to make it work correctly with GHC 6.2. I think this because posix now includes popen and so it conflicts with the version in HXT. Try removing POpen.hs and doing it again, make sure you load package posix. -Si. On Thu, 2004-03-11 at 16:44, Ferenc Wagner wrote: