RE: [Haskell] Forcing Type Class Equality

2006-06-28 Thread john lask
NB the essence what I am trying to do is to define a proxy class Foo for class Ba1 I would have thought that something as simple as the following would have worked ?? class Ba1 a where dosomething :: a -> IO () ba1 :: Ba1 a => a -> IO () ba1 x = dosomething x instance Ba1 Int where doso

[Haskell] Forcing Type Class Equality

2006-06-28 Thread john lask
** this is literate haskell hoping someone can help me. What I am trying to do is class Ba1 a ba1 :: Ba1 a => a -> IO () ba1 x = print "helllo" what I wish to do is declare another function class Foo a proxy :: Foo a => a -> IO () so that I can do something like proxy x = ba1 x

[Haskell] ANN: MissingH 0.14.4

2006-06-28 Thread John Goerzen
I am pleased to announce a new version of MissingH. Changes since the last announcement include: * Fix a bug in ConfigParser.merge and write a test for it. * Fix cabal incompatibilies with GHC 6.4.2 * IO/StatCompat: Fixed missing Data.Bits import on mingw32 * Updated COPYING file with ne