Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Richard Evans
It still doesn't work when I try it. In the meantime, I am using a mirror of it at: https://www.fpcomplete.com/hoogle?q=%5Bt%5D+-%3E+%5Bt%5D+-%3E+Bool On Thu, Jul 18, 2013 at 7:35 PM, Neil Mitchell ndmitch...@gmail.com wrote: Hoogle has returned to live, thanks to the efforts to the new

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Tom Ellis
On Thu, Aug 01, 2013 at 01:25:22PM +0100, Richard Evans wrote: It still doesn't work when I try it. What URL are you using? http://www.haskell.org/hoogle works fine for me. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Jose A. Lopes
It also does not work for me when I try http://www.haskell.org/hoogle But you can cheat ;) Try this one instead http://www.haskell.org/hoogle? I don't know what the problem is; but seeing that some people have it and some people don't, perhaps it's a caching problem... Cheers, Jose On Thu,

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Richard Evans
Sorry yes - it was just a caching problem. Now I've cleared the Chrome cache, it is all working beautifully again. On Thu, Aug 1, 2013 at 1:55 PM, Jose A. Lopes jabolo...@google.com wrote: It also does not work for me when I try http://www.haskell.org/hoogle But you can cheat ;) Try this

Re: [Haskell-cafe] Getting the 'ThreadId' of the calling thread

2013-08-01 Thread Albert Y. C. Lai
On 13-07-29 08:35 AM, Nikita Karetnikov wrote: I feel that a 'myThreadId' action, which is defined in this module [1], is useless, but I'm not sure. I think it will always return the Map.find: element not in the map exception because a 'threadMap' contains an empty 'ThreadMap'. Is it right, or

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Wvv
I still asking for good examples of ranNkinds data (and classes) But now let's look at my example, TupleList data TupleList (t :: **) = TupleNil | TupleUnit t (TupleList t) we can easily define tupleList tupleL :: TupleList ( (Int :: **) - (String :: **) - (Bool :: **) ) tupleL = TupleUnit 5

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Wvv
I'm sorry, `instance Functor (TupleList (a :: **)) where ...` isn't right, sure. The right one is `instance Functor TupleList where ...` -- View this message in context: http://haskell.1045720.n5.nabble.com/Rank-N-Kinds-tp5733482p5733700.html Sent from the Haskell - Haskell-Cafe mailing list

Re: [Haskell-cafe] [ANNOUNCE] fficxx : haskell-C++ FFI binding generator

2013-08-01 Thread kudah
Any progress on Qt bindings yet? On Sat, 8 Jun 2013 18:00:36 -0400 Ian-Woo Kim ianwoo...@gmail.com wrote: Dear Haskellers, Hello. I am very happy to announce the first version of fficxx (http://ianwookim.org/fficxx, also, please look at http://github.com/wavewave/fficxx ) fficxx is a

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Daniel Peebles
The higher universe levels are mostly used to stave off logical paradoxes in languages where you care about that kind of stuff. In a fundamentally impredicative language like Haskell I don't see much point, but I'd be happy to find there is one :) On Thu, Aug 1, 2013 at 4:55 PM, Wvv