GHC modules and packages

2001-10-28 Thread Wolfgang Jeltsch
Hello, is there some documentation about which modules reside in which packages in GHC? Wolfgang ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: GHC modules and packages

2001-10-28 Thread Ashley Yakeley
At 2001-10-28 00:32, Wolfgang Jeltsch wrote: Hello, is there some documentation about which modules reside in which packages in GHC? Here, where the packages are called 'categories': http://haskell.org/ghc/docs/latest/set/book-hslibs.html Unfortunately 'category std' is missing from this. But

Re: GHC modules and packages

2001-10-28 Thread Volker Stolz
In local.haskell, you wrote: is there some documentation about which modules reside in which packages in GHC? You can take a look at http://www.haskell.org/ghc/docs/latest/set/book-hslibs.html. The top-level chapters ('category') are the packages. -- Volker Stolz * [EMAIL PROTECTED] * PGP +

Re: Multi-parameter OOP

2001-10-28 Thread Richard Uhtenwoldt
Ashley Yakeley: I think existential types are arranged so that Haskell never needs to store type information in them at run-time. So you'll never be able to do dynamic OOP with them. One possible extension to Haskell for dynamic OOP, which I never tire of suggesting, is the extensible datatype,

RE: rank 2-polymorphism and type checking

2001-10-28 Thread Ashley Yakeley
At 2001-10-24 01:08, Simon Peyton-Jones wrote: So I'm interested to know: if GHC allowed arbitrarily-ranked types, who would use them? I would. Right now I have a class for 'IO lifted monads', that is, monads from which one can call IO actions: class (Monad m) = IOLiftedMonad m where

Re: Multi-parameter OOP

2001-10-28 Thread Pixel
Richard Uhtenwoldt [EMAIL PROTECTED] writes: [...] My reason for posting is to bring attention to how something similar is done in the language merd, whose designer posts here under the name pixel, and which is actually implemented I think. not really. still coding... :) [...]

ghci 5.00 instance declaration error

2001-10-28 Thread Martin Sulzmann
Consider the following program: module MZip where class MZip a where mzip :: a instance (MZip (as-bs-ds), MZip(ds-cs-r)) = MZip (as-bs-cs-r) where mzip as bs cs = mzip (mzip as bs) cs I get the following error message: Compiling MZip