[Haskell-cafe] Haddock multiple definitions

Hi, I am using GHC: 6.12.1 Haddock: 2.6.0 and the following does not work with Haddock (GHC is fine!): -- Main -- | Blah blah blah (x, y, z) = (1, 2, 3) $ haddock ... /tmp/Main.hs:2:0: parse error on input `(' Is this a bug? Or it's just not part of Haddock? This seems like an i

Re: [Haskell-cafe] Haddock multiple definitions

Hi, I cannot find a similar ticket, so it seems that no one has filed this issue before. As a general comment, I think this issue is a good example that perhaps docstrings should go in the AST. In any case, I would ask someone with a trac account in Haddock to submit this ticket for me. I apolo

[Haskell-cafe] Errors in non-monadic code

Hi, What is the proper way to implement a non-monadic function that checks whether a given value is correct and gives a proper error message otherwise ? What is the recommended option ? * Either String a check val | valid val = Right val | otherwise = Left errorMsg * Maybe String check va

Re: [Haskell-cafe] Errors in non-monadic code

Yeah, non-monadic is not the best term... The problem is that it's always so hard to communicate when you want to say a total function that is not in the context of the IO monad. There should be a simple, short name for these functions, so we can easily talk about them. What ends up happening a lo

Re: [Haskell-cafe] Errors in non-monadic code

I'd say that if you were in the context of the IO monad, maybe you'd prefer to use exceptions instead of 'Either' or 'Maybe'. Jose On Mon, Aug 19, 2013 at 07:41:48PM +0100, Tom Ellis wrote: > On Mon, Aug 19, 2013 at 02:20:23PM -0400, jabolo...@google.com wrote: > > Yeah, non-monadic is not the be

Re: [Haskell-cafe] Errors in non-monadic code

I agree that whether to use exceptions or not is a very debatable subject and it is a grey area. Still, in your Python example, I would like to point out that just because something is common, it does not mean it is the right thing to do. For example, something that some Java programmers were doi

Re: [Haskell-cafe] Errors in non-monadic code

> Some exceptions, e.g. in the traversal of deep structures may be and > ARE used as escaping continuations. If I understand correctly, by "escaping continuations" you mean that you can easily transfer control between the point where the exception is raised and the exception handler. If this is w

Re: [Haskell-cafe] What am I missing? Cycle in type synonym declarations

Hi, In this case, you have two 'FooT' names: one is the Type and the other is the Constructor. Perhaps Template Haskell is capturing the wrong one inside the quote (probably the constructor). When you have name shadowing, you should always use a lookup function. You can find these lookup functi

[Haskell-cafe] Hoogle vs Hayoo

Hi, I noticed Hayoo appears as a link in the toolbox of http://hackage.haskell.org and also that Hayoo seems to display better results than Hoogle. For example, if you search for 'PublicKey' in Hayoo, you will get several results from Hackage libraries, such as, 'crypto-pubkey' and 'crypto-api'.

Re: [Haskell-cafe] Hoogle vs Hayoo

> It's a bit pointless, if I have to know the package, where I want to > search in. Yeah! It does sound a bit pointless. Hoogle should search everything by default, and then you can refine your search by clicking on the '+' or '-' on the packages that appear on the left menu. Jose -- Jose Anto

[Haskell-cafe] GHC flags: optghc

Hi, I am using GHC version 6.12.1. What is optghc ? I can't find that information anywhere... Thanks, Jose -- Jose Antonio Lopes Ganeti Engineering Google Germany GmbH Dienerstr. 12, 80331, München Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: