Re: [Haskell-cafe] Alternative name for return

2013-08-15 Thread Erik Hesselink
On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit dag...@gmail.com wrote: Also, if anyone wants to look at prior art first, Idris supports applicative brackets. As does she [0]. Erik [0] https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/idiom.html

Re: [Haskell-cafe] llvm on macos

2013-08-15 Thread Anton Nikishaev
Ozgur Akgun ozgurak...@gmail.com writes: Hi. On 10 August 2013 18:20, Brandon Allbery allber...@gmail.com wrote: There may be some support for requesting specific versions from Homebrew. Try `brew versions llvm`. Then, you'll need to run the git checkout command in `brew

Re: [Haskell-cafe] Alternative name for return

2013-08-15 Thread Dag Odenhall
I particularly like she's (her?) syntax for Alternative. Not sure whether or not Idris has that. Applicative tuples would be nice too, something like (|a,b,c|) translating to liftA3 (,,) a b c. And operators too, liftA2 (+) a b as (| a + b |)? On Thu, Aug 15, 2013 at 11:08 AM, Erik Hesselink

Re: [Haskell-cafe] Alternative name for return

2013-08-15 Thread Anton Nikishaev
Simon Peyton-Jones simo...@microsoft.com writes: | Indeed, I wished the 0-ary case would be more alike to the unary | and binary case, cf. | | return f0 | f1 $ a1 | f2 $ a1 * a2 | | What is needed is a nice syntax for idiom brackets. Indeed. I'm quite open to adding

Re: [Haskell-cafe] Alternative name for return

2013-08-15 Thread Tikhon Jelvis
If we're adding applicative brackets, it would be nice to have something like ⦇⦈ as options via UnicodeSyntax. When playing around with She, I found it much easier to read than the ASCII version, especially when I needed to combine them: (|(|a + b|) + (|c * d|)|) ⦇⦇a + b⦈ + ⦇c * d⦈⦈

[Haskell-cafe] ANN: Rlang-QQ-0.0.0.0

2013-08-15 Thread adam vogt
Hello Cafe, I am pleased to announce the first release of Rlang-QQ. You can find it at http://hackage.haskell.org/package/Rlang-QQ-0.0.0.0. The package provides a quasiquoter which makes it easier to call R (http://www.r-project.org/) using values calculated with GHC. Variables in quasiquoter

[Haskell-cafe] Haddock multiple definitions

2013-08-15 Thread jabolopes
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

Re: [Haskell-cafe] llvm on macos

2013-08-15 Thread Carter Schonwald
Just brew install llvm should work fine. The version warning is just the ghc devs beig conservative about what they are committing to supporting given finite resources and llvm changing over time. On Thursday, August 15, 2013, Anton Nikishaev wrote: Ozgur Akgun ozgurak...@gmail.com

Re: [Haskell-cafe] llvm on macos

2013-08-15 Thread Ozgur Akgun
Hi. On 15 August 2013 20:35, Carter Schonwald carter.schonw...@gmail.comwrote: Just brew install llvm should work fine. I wonder what makes you think this is the case. At this moment in time, `brew install llvm` will install llvm-3.3. Using llvm-3.3, I get warnings and errors. Using

Re: [Haskell-cafe] llvm on macos

2013-08-15 Thread Carter Schonwald
Huh. I thought the 3.3 llvm problems only happened when building ghc. Oops. Your absolutely right. Ghc 7.7 does not generate in general, IR that llvm = 3.3 will be happy with. On Thursday, August 15, 2013, Ozgur Akgun wrote: Hi. On 15 August 2013 20:35, Carter Schonwald

Re: [Haskell-cafe] Haddock multiple definitions

2013-08-15 Thread Roman Cheplyaka
In any case, it shouldn't fail with a parse error, since this is valid Haskell. Please file a ticket at http://trac.haskell.org/haddock (but first see if it hasn't been reported before). Roman * jabolo...@google.com jabolo...@google.com [2013-08-15 15:24:23-0400] Hi, I am using GHC:

Re: [Haskell-cafe] Haddock multiple definitions

2013-08-15 Thread jabolopes
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

[Haskell-cafe] One-element tuple

2013-08-15 Thread AntC
There's an annoying inconsistency: (CustId 47, CustName Fred, Gender Male) -- threeple (CustId 47, CustName Fred)-- twople -- (CustId 47)-- oneple not! () -- nople (That is, it's annoying if

Re: [Haskell-cafe] One-element tuple

2013-08-15 Thread Ivan Lazar Miljenovic
On 16 August 2013 11:35, AntC anthony_clay...@clear.net.nz wrote: There's an annoying inconsistency: (CustId 47, CustName Fred, Gender Male) -- threeple (CustId 47, CustName Fred)-- twople -- (CustId 47)-- oneple not! ()

Re: [Haskell-cafe] One-element tuple

2013-08-15 Thread Dan Burton
For the consistency you want, `data Oneple a = T a` is the best you can do in Haskell. T(CustId 47) is just one character off from what you actually want to write: (Cust 47). And I presume you want the extra bottom that comes with this, as opposed to just treating values as their own one-tuples.

[Haskell-cafe] Cabal errors...

2013-08-15 Thread Gregory Guthrie
I am trying to run ecliseFP to use with Haskell, but it gives an error: SO I tried to rebuild the buildwrapper rogram to get the update, but it fails as below. Any hints or help on what to do next? I think that from some past problems, that theshadowed problem is from global and usr-local