Re: [Haskell-cafe] Hackage is down?

2012-08-11 Thread Henk-Jan van Tuyl
On Sat, 11 Aug 2012 21:10:24 +0200, Justin Greene wrote: Anyone have a download link for the haskell platform for windows? I can't find one with hackage down. This link depends on the OS you are using; I found the Haskell Platform page in the Web Archive[0]. The downloads are at the G

Re: [Haskell-cafe] Data structure containing elements which are instances of the same type class

2012-08-11 Thread Alexander Solla
On Sat, Aug 11, 2012 at 12:01 PM, Antoine Latter wrote: > It should be pretty easy to write an adapter function of type "String -> > (Show a => a)". > Not with that type. Give it a try. Hint: what is the extension of the type variable 'a'? What do you know about it? How would you use that t

Re: [Haskell-cafe] Hackage is down?

2012-08-11 Thread Justin Greene
Anyone have a download link for the haskell platform for windows? I can't find one with hackage down. On Sat, Aug 11, 2012 at 1:39 PM, Thomas DuBuisson < thomas.dubuis...@gmail.com> wrote: > It will be down most of today - we are switching over to a new network > connection. > > On Sat, Aug 11,

Re: [Haskell-cafe] Data structure containing elements which are instances of the same type class

2012-08-11 Thread Antoine Latter
It should be pretty easy to write an adapter function of type "String -> (Show a => a)". On Aug 11, 2012 12:34 PM, "Patrick Palka" wrote: > On Sat, Aug 11, 2012 at 4:14 AM, wrote: > >> >> I'd like to point out that the only operation we can do on the first >> argument of MkFoo is to show to it.

Re: [Haskell-cafe] Hackage is down?

2012-08-11 Thread Johan Tibell
+Malcom On Sat, Aug 11, 2012 at 11:31 AM, hanjoosten wrote: > Hi, > > Hackage seems to be down. Is there anyone out here who knows how to get it > online again? > > Thanks! > > > > -- > View this message in context: > http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html > Sent fro

Re: [Haskell-cafe] Hackage is down?

2012-08-11 Thread Thomas DuBuisson
It will be down most of today - we are switching over to a new network connection. On Sat, Aug 11, 2012 at 11:31 AM, hanjoosten wrote: > Hi, > > Hackage seems to be down. Is there anyone out here who knows how to get it > online again? > > Thanks! > > > > -- > View this message in context: > htt

[Haskell-cafe] Hackage is down?

2012-08-11 Thread hanjoosten
Hi, Hackage seems to be down. Is there anyone out here who knows how to get it online again? Thanks! -- View this message in context: http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. _

Re: [Haskell-cafe] Data structure containing elements which are instances of the same type class

2012-08-11 Thread Patrick Palka
On Sat, Aug 11, 2012 at 4:14 AM, wrote: > > I'd like to point out that the only operation we can do on the first > argument of MkFoo is to show to it. This is all we can ever do: > we have no idea of its type but we know we can show it and get a > String. > That's not all you can do: you can als

Re: [Haskell-cafe] Data structure containing elements which are instances of the same type class

2012-08-11 Thread David Feuer
Has anyone used existential types to represent items on a schedule in a scheduled lazy data structure? On Aug 11, 2012 4:15 AM, wrote: > > > data A = A deriving Show > > data B = B deriving Show > > data C = C deriving Show > > > > data Foo = forall a. Show a => MkFoo a (Int -> Bool) > > > > inst

[Haskell-cafe] Fwd: hGetContents Illegal byte sequence / ghc-pkg

2012-08-11 Thread Benjamin Edwards
Responding to the list.. -- Forwarded message -- From: Benjamin Edwards Date: 11 August 2012 17:37 Subject: Re: [Haskell-cafe] hGetContents Illegal byte sequence / ghc-pkg To: David McBride Thank you Gents, Most useful. One thing that had escaped me is that of course, even if

Re: [Haskell-cafe] hGetContents Illegal byte sequence / ghc-pkg

2012-08-11 Thread David McBride
I had this same problem a couple weeks ago when trying to install virthualenv and I don't really understand it got into a bad state, but the way I solved it was by fixing the locale settings on my gentoo machine so that I'm using UTF8. That just involved a few changes in /etc and then the problem

Re: [Haskell-cafe] hGetContents Illegal byte sequence / ghc-pkg

2012-08-11 Thread Brandon Allbery
On Sat, Aug 11, 2012 at 7:13 AM, Benjamin Edwards wrote: > inspecting the source of readProcessWithExitCode yields an obvious > explanation to the MVar problem, but I don't understand why hGetContents is > so offended. > I think last time I looked into this there was no normalization of package.c

Re: [Haskell-cafe] hGetContents Illegal byte sequence / ghc-pkg

2012-08-11 Thread Brent Yorgey
On Sat, Aug 11, 2012 at 12:13:45PM +0100, Benjamin Edwards wrote: > Hello café, > > I have a program that is crashing, and I have no idea why: > > module Main > where > > import System.Process (readProcessWithExitCode) > > > main :: IO () > main = do _ <- readProcessWithExitCode "ghc-pkg" ["

[Haskell-cafe] hGetContents Illegal byte sequence / ghc-pkg

2012-08-11 Thread Benjamin Edwards
Hello café, I have a program that is crashing, and I have no idea why: module Main where import System.Process (readProcessWithExitCode) main :: IO () main = do _ <- readProcessWithExitCode "ghc-pkg" ["describe", "hoopl"] "" putStrLn "Should never get here" this is using the proce

[Haskell-cafe] Data structure containing elements which are instances of the same type class

2012-08-11 Thread oleg
> data A = A deriving Show > data B = B deriving Show > data C = C deriving Show > > data Foo = forall a. Show a => MkFoo a (Int -> Bool) > > instance Show Foo where >show (MkFoo a f) = show a I'd like to point out that the only operation we can do on the first argument of MkFoo is to show to

Re: [Haskell-cafe] Data.Data and OverlappingInstances

2012-08-11 Thread oleg
Timo von Holtz wrote: > class Test a where > foo :: Monad m => m a > > instance Num a => Test a where > foo = return 1 > > instance Test Int where > foo = return 2 > > test constr = fromConstrM foo constr I'm afraid the type checker is right. From the type of fromConstrM fromConstrM :: f

Re: [Haskell-cafe] CRIP: the Curiously Reoccuring Instance Pattern

2012-08-11 Thread oleg
Anthony Clayden wrote: > So three questions in light of the approach of abandoning FunDeps and > therefore not getting interference with overlapping: > A. Does TTypeable need to be so complicated? > B. Is TTypeable needed at all? > C. Does the 'simplistic' version of type equality testing suffer p