Re: Installing GHC on my MacBook Air

That seems unlikely; it would report a permission error in that case, not that it had the wrong architecture. On Wed, Mar 15, 2023 at 12:04 PM George Colpitts wrote: > > Hi Bill > > I'm cc'ing GHC dev and GHC users as someone else may have a better answer, > catch a mistake I made etc. Please

Re: regression in ghc / cabal integration in 9.2.1

Wasn't there specifically a new cabal version released to deal with 9.2.1? 3.4.1.0 / 3.6.2.0? On Sat, Oct 30, 2021 at 3:24 PM George Colpitts wrote: > > Thanks for the quick response Mikolaj. Sorry for the confusion, with cabal > install I did use --lib but accidentally omitted that in my

Re: Avoiding construction of dead dictionaries

ut things would be a bit more uniform. If there was a real > advantage to doing this, it’d definitely be worth measuring the perf cost > (if any). > > > > Simon > > > > *From:* Glasgow-haskell-users *On > Behalf Of *Brandon Allbery > *Sent:* 09 August 2021 16:32

Re: Avoiding construction of dead dictionaries

We haven't figured out what they did, but the other day we had someone in #haskell with an infinite loop evaluating a dictionary. So apparently it is possible for a dictionary to be bottom somehow. On Mon, Aug 9, 2021 at 11:27 AM Tom Smeding wrote: > Hi Mike, > > > > But wouldn't that imply

Re: Linking completely statically

Linux is not friendly to static linking, and you would need to either package or match exact versions of things like the nss and locale libraries that are dynamically loaded at runtime and don't show up in ldd. This limitation comes from glibc and is documented in its manual. On Sun, Aug 9, 2020,

Re: [Haskell-community] Haskell language API copyright status?

As a historical note, the openness of the Haskell spec was a reaction to the licensing of the research language Miranda and as such was quite intentional. On 5/24/20, Nicholas Papadonis wrote: > Thank you! That puts the language in a better position in regards to being > open for anyone to use.

Re: [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-rc1 released

On Fri, Jan 24, 2020 at 11:58 PM Ben Gamari wrote: > * A number of improvements in code generation, including changes > This seems like it's missing some detail. -- brandon s allbery kf8nh allber...@gmail.com ___ Glasgow-haskell-users mailing list

Re: Linker trouble - position independent code(??)

Generally because n OS update switched to PIE-by-default (LInux dustributions have been doing this) and ghc needs to be updated or reconfigured to match. On Wed, Sep 25, 2019 at 10:06 PM Volker Wysk wrote: > Hi! > > I've found out how to do it: Use an explicit make rule: > > build/% : >

Re: Equality constraints (~): type-theory behind them

I think the point is more that runtime evidence means passing an additional type witness around, potentially changing generated code and even behavior (if this causes dictionary passing where none had been needed previously). It's not addressing your question. On Sat, Dec 22, 2018 at 11:48 PM

Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3

I don't think ghc ever used gcc's version of this; it used the Evil Mangler to do it. On Fri, Aug 31, 2018 at 2:59 PM Sven Panne wrote: > Am Fr., 31. Aug. 2018 um 18:52 Uhr schrieb Ben Franksen < > ben.frank...@online.de>: > >> Am 31.08.2018 um 11:57 schrieb Sven Panne: >> > Am Fr., 31. Aug.

Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]

On Sat, May 19, 2018 at 7:32 AM, Anthony Clayden < anthony_clay...@clear.net.nz> wrote: > So the explanation I've seen for the current design is it was deliberately > idiosyncratic, to minimise any disruption to existing code. Then I'm asking > whether any of that code is still around? If

Re: [Haskell-cafe] PSA: `cabal update` command needs manual unsticking

Correct: cabal-install 1.x still uses the old index format (00-index). The logic is different for 01-index, in order to support incremental update (appending when possible, instead of always having to download the whole thing again like with 00-index). On Thu, Jan 4, 2018 at 1:38 PM, Nathan

Re: uninstalling libraries

The problem is that the package db contains only what ghc needs to be able to use the library; not the additional information needed to safely remove it. (There are other package systems with this problem, notably Apple's. Apple decided that instead of solving it, they would only support

Re: Multiple C threads -> one unthreaded GHC RTS

On Thu, Sep 28, 2017 at 4:57 PM, Albert Y. C. Lai wrote: > Suppose I have a C program with multiple C threads calling Haskell > functions, maybe the same Haskell function too, and the GHC RTS used is the > unthreaded one. What will go wrong? > > I ask because Cabal/cabal-install

Re: GHC release timing and future build infrastructure

On Mon, Jul 31, 2017 at 10:19 PM, Ben Gamari wrote: > I just posted a pair of posts on the GHC blog [1,2] laying out some > thoughts on the GHC release cycle timing [1] and how this relates to the > in-progress Jenkins build infrastructure [2]. When you have a some time >

Re: ConstraintKinds seems to be automatically enabled

On Thu, May 4, 2017 at 6:42 PM, Wolfgang Jeltsch wrote: > In my previous e-mail, I showed some code that uses the Constraint kind. > I forgot to enable the ConstraintKinds extension though, but GHC 8.0.1 > did not complain. Is this a bug? > I think it's a known side

Re: Superclass Equality constraints cp FunDeps

On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg wrote: > > > On Apr 30, 2017, at 6:37 AM, Anthony Clayden < > anthony_clay...@clear.net.nz> wrote: > > Is that behaviour officially documented somewhere? > > Not that I can find. Documentation on functional dependencies is

Re: GHC API: memory usage of loaded modules

On Thu, Dec 15, 2016 at 1:55 AM, Evan Laforge wrote: > It's confusing to me because traditionally -dynamic is a link only > flag, but ghc also uses it for building .o files... I assume because > of the ghci loading thing. > There may also be some OS X specific behavior here;

Re: GHC API: memory usage of loaded modules

On Tue, Dec 13, 2016 at 1:21 PM, Evan Laforge wrote: > If I'm using the same code linked into the main > application, then isn't it a given that I'm loading everything in the > application in the first place? > It's not necessarily accessible in a useful form for use by

Re: [Haskell-community] [Haskell-cafe] technical thoughts on stack

On Tue, Sep 13, 2016 at 3:14 PM, John Wiegley wrote: > Some other tools provide an "env" sub-command, so that a person can run: > > eval $(stack env) > > And now ghc, ghci, etc., would be on the PATH, and the user doesn't really > need to care about where it lives. >

Re: [Haskell-community] [Haskell-cafe] technical thoughts on stack

On Tue, Sep 13, 2016 at 3:47 PM, Richard Eisenberg wrote: > Other minor points: > `stack env` does not work for me: my version of stack does not know how to > `env` > I think they said that was an add-in. IIRC stack is extensible with external commands, in roughly the same

Re: [Haskell-community] [Haskell-cafe] technical thoughts on stack

On Tue, Sep 13, 2016 at 3:13 PM, Kyle Ondy wrote: > On 16-09-13 12:07, Theodore Lief Gannon wrote: > > Stack *does* allow direct interaction with GHC: > > > > stack exec -- ghc version > > > I find `stack ghc -- --version` to be a bit easier. Anything after the > `--` is > passed

Re: Using stringize and string concatenation in ghc preprocessing

On Sun, Aug 21, 2016 at 4:31 PM, Boespflug, Mathieu wrote: > I ran into this very problem recently. Turns out -traditional knows string > concatenation too. I seem to remember learning this by browsing the GHC > source code, but now I can't find any occurrence of this pattern. But

Re: Using stringize and string concatenation in ghc preprocessing

On Sat, Aug 20, 2016 at 2:27 PM, Harendra Kumar wrote: > But "-optP" seems to only append to the flags that GHC already passes and > gcc has no "-no-traditional" option to undo the effect of the > "-traditional" that GHC has already passed. I think "-optP" should

Re: ArgumentDo proposal updated

On Wed, Jul 13, 2016 at 1:35 PM, Manuel Gómez wrote: > foo = > case () of > _ -> someX > { x = False } > > Am I alone in my surprise? > My own expectation would be that the outdent to the level of "case" terminated the "case", and that is indeed a syntax error.

Re: Proposal: ArgumentDo

Didn't they already say they disliked record syntax for exactly that reason? On Thu, Jul 7, 2016 at 1:23 PM, David Feuer wrote: > What makes > > f do{x} do{y} > > any harder to read than similar record syntax? > > f Foo{foo=3} Foo{foo=4} > > On Thu, Jul 7, 2016 at 1:15

Re: CMM-to-ASM: Register allocation wierdness

On Sun, Jun 19, 2016 at 12:30 AM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > This email would have been marked spam had I not unmarked all your emails > as spam. Also a gmail user :/ Same. I forwarded my received headers to the infra folks; they made some more adjustments to

Re: Cannot install 8.0.1 from bindist

On Wed, May 25, 2016 at 7:55 AM, Peter wrote: > mkdir: cannot create directory `doc/aries/ghc-prim-0.5.0.0': No such file > or > directory > "doc/aries"? That looks like a "libr" went missing somehow. -- brandon s allbery kf8nh sine nomine

Re: [Haskell-cafe] Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

On Wed, Oct 7, 2015 at 4:54 PM, Bardur Arantsson wrote: > Please consider that the the way practical development really happens[2] ...among web developers, who of course are the only real developers? Have you considered that there are developers who are not web

Re: Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

On Mon, Oct 5, 2015 at 8:16 AM, Alexander Berntsen wrote: > On 05/10/15 11:59, Simon Thompson wrote: > > There’s an old fashioned maxim that sums this up in a pithy way: > > “if it ain’t broke, don’t fix it”. > But... it *is* broken. > Somehow, we managed to use Monad

Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)

There's also the path taken by Homebrew on OS X... make /usr/local owned by you, since you probably only have one user on the machine anyway. (I suggest avoiding any suid-root executables in /usr/local in this case.) On Wed, Aug 5, 2015 at 10:02 PM, Haisheng Wu fre...@gmail.com wrote: I think

Re: simultaneous ghc versions

On Mon, Aug 3, 2015 at 10:04 AM, Alexander Berntsen alexan...@plaimi.net wrote: On 31/07/15 20:10, Evan Laforge wrote: Come to think of it, shouldn't ghc include this, instead of everyone creating their own shell scripts by hand? I don't think so. This is usually done in the userland -- at

Re: [Haskell-cafe] ANNOUNCE: GHC version 7.10.2

On Thu, Jul 30, 2015 at 12:52 PM, James M jmar...@eecs.berkeley.edu wrote: There was talk from an earlier email thread of releasing the Haskell Platform at the same time as 7.10.2. I think the right place to ask this is librar...@haskell.org. I would imagine they're in final testing and/or

Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2

On Thu, Jul 30, 2015 at 12:52 PM, James M jmar...@eecs.berkeley.edu wrote: There was talk from an earlier email thread of releasing the Haskell Platform at the same time as 7.10.2. I think the right place to ask this is librar...@haskell.org. I would imagine they're in final testing and/or

Re: [Haskell-cafe] RFC: Native -XCPP Proposal

On Fri, May 8, 2015 at 7:56 PM, Brandon Allbery allber...@gmail.com wrote: On Fri, May 8, 2015 at 7:40 PM, Donn Cave d...@avvanta.com wrote: But fatal if compilation is conditional on something that affects the ability to type check, am I right? Such as different compilers or versions

Re: [Haskell-cafe] RFC: Native -XCPP Proposal

On Fri, May 8, 2015 at 7:40 PM, Donn Cave d...@avvanta.com wrote: But fatal if compilation is conditional on something that affects the ability to type check, am I right? Such as different compilers or versions of same compiler. Not per the abstract (paper itself seems to be paywalled).

Re: RFC: Native -XCPP Proposal

On Wed, May 6, 2015 at 11:36 AM, Stephen Paul Weber singpol...@singpolyma.net wrote: Yes. This is one of my favourite things in GHC-land -- that an existing, good-enough, standardised, and widely-deployed solution was chosen over a NiH reinvention of preprocessing I have to assume my irony

Re: [Haskell-cafe] RFC: Native -XCPP Proposal

On Wed, May 6, 2015 at 10:59 AM, Bardur Arantsson s...@scientician.net wrote: (I'm not going to be doing any of the work, so this is just armchairing, but this seems like an 80/20 solution would be warranted.) Only if you're convinced it will remain 80/20 for the foreseeable future. I do not

Re: Typed splices and type checking

On Fri, Mar 27, 2015 at 10:30 AM, J. Garrett Morris garrett.mor...@ed.ac.uk wrote: Should I have anticipated this? Ought the interaction of typed splices and eta-expansion be problematic? In the specific case of printf, which uses typeclasses to play dirty tricks that interact interestingly

Re: [Haskell] Rank-N types with (.) composition

On Tue, Feb 10, 2015 at 6:19 PM, Tyson Whitehead twhiteh...@gmail.com wrote: Out of curiosity, how would you write the special internal type that ($) has that separates it from ($') above? I don't think there's any way to write the type. Remember that GHC uses System Fc internally; that can

Re: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 316

On Fri, Feb 6, 2015 at 7:59 AM, Takenobu Tani takenobu...@gmail.com wrote: and, to haskell-cafe, Haskell Weekly News: Issue 316 original message[1] had sent only to haskell@haskell.org? (not to haskell-cafe? or my mailer trouble?) gmail suppresses duplicate messages, so if you are

Re: Unable to build 7.10.1 RC1 on Jessie

On Sun, Jan 25, 2015 at 9:43 AM, harry volderm...@hotmail.com wrote: According to https://ghc.haskell.org/trac/ghc/ticket/9720 , g++ isn't even used for building. and passing in gcc for CXX seems to work fine. Wonder if that's changed. It may be that some minimal amount of C++ support was

Re: Found hole

On Wed, Jan 21, 2015 at 9:53 AM, Stephen Paul Weber singpol...@singpolyma.net wrote: This is very concening for me. Extensions should *never* be enabled by default! If you read on, you'll find that I was working from an older proposal that was never implemented. It is instead a modified

Re: How to remove a cabal package from the local system?

On Wed, Jan 21, 2015 at 11:19 AM, Volker Wysk vertei...@volker-wysk.de wrote: I'm also missing a command to set the Default available version. You don't set that; it's specified in the downloaded package index in the package repo. -- brandon s allbery kf8nh sine

Re: Found hole

On Tue, Jan 20, 2015 at 1:36 PM, Volker Wysk vertei...@volker-wysk.de wrote: What is a hole? https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/typed-holes.html When I replace _exit with foo, it produces a not in scope error, as expected. What is special about _exit? It doesn't

Re: Package version question with Cabal

On Mon, Jan 19, 2015 at 11:14 PM, Volker Wysk vertei...@volker-wysk.de wrote: I've uploaded my library to Hackage, and now I'm trying to install it via cabal: At a guess, the index has not yet been updated --- you may need to wait some time (might be as short as an hour) before trying to

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

On Tue, Dec 23, 2014 at 10:46 AM, Dominic Steinitz domi...@steinitz.org wrote: To restate the problem: this is from code that has not been changed for 2 years. I get Examples.hs:42:42: Parse error in pattern: con Failed, modules loaded: none. I think I see the problem. Are you by any

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

On Tue, Dec 23, 2014 at 11:10 AM, Dominic Steinitz domi...@steinitz.org wrote: How very clever of you and thank you very much. Changing ‘ to 1 does fix the problem. I would have thought this would work cabal install --with-gcc=gcc-4.9 But sadly I still got the same error. I think that

Re: GHC 7.8.3 thread hang

On Tue, Nov 11, 2014 at 2:11 AM, Michael Jones m...@proclivis.com wrote: 7fe537eff700: cap 0: sendCommand: encoded PROBLEM HERE 7fe537eff700: cap 0: thread 7 stopped (heap overflow) Is it just me, or is that second message significant? -- brandon s allbery kf8nh

Re: [Haskell-cafe] Several default implementations for instance methods

On Sat, Oct 4, 2014 at 12:05 PM, Carter Schonwald carter.schonw...@gmail.com wrote: hrm, so youre wanting something even smarter than the MINIMAL pragma stuff, namely depending on which subset of the complementary methods are defined, define this method differently? I've been expecting

Re: The future of the haskell2010/haskell98 packages - AKA Trac #9590

On Tue, Sep 30, 2014 at 5:00 PM, Malcolm Wallace malcolm.wall...@me.com wrote: How about doing the honest thing, and withdrawing both packages in ghc-7.10? Haskell'98 is now 15 years old, and the 2010 standard was never really popular anyway. There are apparently educators using both,

Re: Aliasing current module qualifier

On Mon, Sep 29, 2014 at 4:19 AM, Herbert Valerio Riedel h...@gnu.org wrote: Now it'd be great if I could do the following instead: module AnnoyinglyLongModuleName (M.length, M.null) where import AnnoyinglyLongModuleName as M -- - does not work I think if I wanted this syntax, I'd

Re: Aliasing current module qualifier

, Sep 29, 2014 at 8:47 AM, Brandon Allbery allber...@gmail.com wrote: On Mon, Sep 29, 2014 at 4:19 AM, Herbert Valerio Riedel h...@gnu.org wrote: Now it'd be great if I could do the following instead: module AnnoyinglyLongModuleName (M.length, M.null) where import

Re: Permitting trailing commas for record syntax ADT declarations

On Fri, Sep 26, 2014 at 5:12 PM, Johan Tibell johan.tib...@gmail.com wrote: That would be nice if we had a clean slate, but I don't people are going to change their whole import lists now. I read the proposal as making all commas optional, not as requiring them to not be present. -- brandon

Re: Permitting trailing commas for record syntax ADT declarations

On Fri, Sep 26, 2014 at 5:21 PM, Johan Tibell johan.tib...@gmail.com wrote: I don't think that's necessarily is good style. I don't think we want two different ways of doing import lists. Yes; I kinda hate the idea myself, it encourages an unreadable programming style. But it's not the

Re: hmatrix-0.16.0.4 installation problem

On Fri, Aug 22, 2014 at 10:38 AM, Edward Z. Yang ezy...@mit.edu wrote: cabal install --enable-documentation --extra-include-dirs=/usr;local/include --extra-lib-dirs=/usr/local/lib hmatrix Is that semicolon a typo? It kinda has to be, they'd have gotten rather more interesting errors

Re: 'import ccall unsafe' and parallelism

On Thu, Aug 14, 2014 at 11:54 AM, Christian Höner zu Siederdissen choe...@tbi.univie.ac.at wrote: go xs = unsafePerformIO $ do forM_ xs $ cfun return $ somethingUnhealthy I wonder if this is your real problem. `unsafePerformIO` does some extra locking; the FFI specifies a function

Re: Old code broken by new Typeable class

On Tue, Aug 5, 2014 at 1:47 PM, Volker Wysk vertei...@volker-wysk.de wrote: Am Dienstag, 5. August 2014, 12:46:23 schrieb Carter Schonwald: i assume 7.6 and 7.8, if we're talking GHC rather than GCC :) in 7.8 you can't define userland typeable instances, you need only write deriving

Re: Installing ghc-7.8.3 OS X bindist fails on Xcode 4 CLI-only machine

On Mon, Jul 14, 2014 at 4:53 AM, Christiaan Baaij christiaan.ba...@gmail.com wrote: cc1: error: unrecognized command line option -Wno-invalid-pp-token cc1: error: unrecognized command line option -Wno-unicode Those are clang options, for what it's worth. It seems to be defaulting to Xcode

Fwd: Installing ghc-7.8.3 OS X bindist fails on Xcode 4 CLI-only machine

FWIW Mark had this reply but is apparently not subscribed to, or being rejected by, ghc-users and asked me to forward it. -- Forwarded message -- From: Mark Lentczner mark.lentcz...@gmail.com Date: Mon, Jul 14, 2014 at 7:34 AM Subject: Re: Installing ghc-7.8.3 OS X bindist fails

Re: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

On Sat, Jul 5, 2014 at 1:34 PM, Carter Schonwald carter.schonw...@gmail.com wrote: does JHC support template haskell? Pretty sure TH is too closely tied to ghc. -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: RFC: changes to -i flag for finding source files

On Fri, Apr 25, 2014 at 10:16 AM, Eric Seidel gridaph...@gmail.com wrote: The main con here is that there's an increased risk of module name-clashes, but GHC already solves this with the PackageImports extension. IMO almost any use of PackageImports indicates a severe design flaw somewhere.

Re: -optl behavior in ghc-7.8.1

On Mon, Apr 14, 2014 at 10:42 AM, Simon Marlow marlo...@gmail.com wrote: The problem I was fixing was that we weren't always passing the -optl options. Now when we invoke a program the -optXXX options always come first - I think before it was kind of random and different for each of the

Re: -optl behavior in ghc-7.8.1

On Thu, Apr 10, 2014 at 11:44 AM, Yuras Shumovich shumovi...@gmail.comwrote: ghc-7.6.3 passes additional linker options after all the haskell object files, while ghc-7.8.1 does the opposite. (...) Is it intentional change? Pretty sure it is intentional, because it's necessary for some

Re: -optl behavior in ghc-7.8.1

On Thu, Apr 10, 2014 at 12:02 PM, Yuras Shumovich shumovi...@gmail.comwrote: On Thu, 2014-04-10 at 11:54 -0400, Brandon Allbery wrote: On Thu, Apr 10, 2014 at 11:44 AM, Yuras Shumovich shumovi...@gmail.com wrote: Is it intentional change? Pretty sure it is intentional, because it's

Re: -optl behavior in ghc-7.8.1

On Thu, Apr 10, 2014 at 12:39 PM, Yuras Shumovich shumovi...@gmail.comwrote: On Thu, 2014-04-10 at 12:13 -0400, Brandon Allbery wrote: On Thu, Apr 10, 2014 at 12:02 PM, Yuras Shumovich shumovi...@gmail.com wrote: On Thu, 2014-04-10 at 11:54 -0400, Brandon Allbery wrote: On Thu, Apr 10

Re: PROPOSAL: Literate haskell and module file names

On Mon, Mar 17, 2014 at 9:08 AM, Edward Kmett ekm...@gmail.com wrote: Foo+rst.lhs does nicely dodge the collision with jhc. Is this legal on Windows? -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: PROPOSAL: Literate haskell and module file names

On Mon, Mar 17, 2014 at 9:08 AM, Edward Kmett ekm...@gmail.com wrote: Foo+rst.lhs does nicely dodge the collision with jhc. Is this legal on Windows? -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: 7.8.1, template haskell, and dynamic libraries

On Sun, Feb 9, 2014 at 9:28 AM, Greg Horn gregmainl...@gmail.com wrote: Is --enable-shared off by default? It's supposed to be on by default in 7.8. That said, not sure how many people have played with ~/.cabal/config -- brandon s allbery kf8nh sine nomine

Re: [Solaris bindist] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1

On Wed, Feb 5, 2014 at 11:02 AM, Christian Maeder christian.mae...@dfki.dewrote: Am 05.02.2014 16:45, schrieb Roman Cheplyaka: * Christian Maeder christian.mae...@dfki.de [2014-02-05 16:28:50+0100] This happens, because our /bin/sh is a real sh (and not a bash) that only allows to export

Re: Static values language extension proposal

On Sun, Jan 26, 2014 at 1:43 PM, Tim Watson watson.timo...@gmail.comwrote: In Erlang, I can rpc/send *any* term and evaluate it on another node. That includes functions of course. Whether or not we want to be quite that general is another matter, but that is the comparison I've been making.

Re: Static values language extension proposal

On Fri, Jan 24, 2014 at 12:19 PM, Facundo Domínguez facundo.doming...@tweag.io wrote: In principle, only symbols in shared libraries can be found. However, the dynamic linker is able to find symbols in modules that are linked statically if GHC is fed with the option -optl-Wl,--export-dynamic.

Re: --split-objs

On Wed, Dec 18, 2013 at 4:08 AM, harry volderm...@hotmail.com wrote: The documentation for --split-objs states that this only makes sense for libraries. How is an executable compiled against a split-objs library? According to https://github.com/haskell/cabal/issues/1611#issuecomment-30750655,

Re: --split-objs

On Wed, Dec 18, 2013 at 10:27 AM, harry volderm...@hotmail.com wrote: Brandon Allbery wrote I don't understand the question. Whether a library is split-objs or not does not affect how you link an executable, only the space/time efficiency trade-off of doing so. And while in theory you

Re: getWorkingDirectory/changeWorkingDirectory

On Wed, Dec 4, 2013 at 8:38 AM, Benjamin Franksen benjamin.frank...@helmholtz-berlin.de wrote: Module System.Posix.Directory of the unix package defines getWorkingDirectory :: IO FilePath changeWorkingDirectory :: FilePath - IO () I believe the functionality is quite portable and not

Re: Linux deployment requirements for GHC-produced binaries

On Thu, Oct 3, 2013 at 7:22 AM, Yitzchak Gale g...@sefer.org wrote: Do GHC-compiled binaries have a dynamic dependence on libgmp? If so, what are the exact requirements we need to communicate to our customers? Does this limit what versions of Linux we can claim that our product supports?

Re: Linux deployment requirements for GHC-produced binaries

On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale g...@sefer.org wrote: I wrote: [For] GHC-compiled binaries... what are the exact requirements we need to communicate to our customers? You wrote: Ideally you would use `ldd` on binaries to determine other dynamic dependencies that must

Re: Linux deployment requirements for GHC-produced binaries

On Thu, Oct 3, 2013 at 3:43 PM, Erik de Castro Lopo mle...@mega-nerd.comwrote: Brandon Allbery wrote: On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale g...@sefer.org wrote: ldd just says not a dynamic executable. o.O I don't think the ghc runtime uses dlopen() to get at gmp (and I'm

Re: [Haskell-cafe] indentation with let and do

On Thu, Oct 3, 2013 at 2:31 PM, Corentin Dupont corentin.dup...@gmail.comwrote: test :: Bool - IO () test foo = do let bar = case foo of True - Foo; False - Bar return () while this one does (just adding one space in front of True and False): test :: Bool - IO ()

Re: openindiana binaries

On Mon, Sep 30, 2013 at 9:11 AM, asyropou...@aol.com wrote: and pandoc compiled just fine and it works! However, I have noticed that libffi.so.6 should not be installed in a non standard folder, and I have no idea if this is a problem of OpenIndiana or Solaris more generally. Now, I think it

Re: [Haskell-cafe] Mystery of an Eq instance

On Sat, Sep 21, 2013 at 12:35 PM, Bardur Arantsson s...@scientician.netwrote: On 2013-09-20 18:31, Brandon Allbery wrote: [--snip--] unless you have a very clever representation that can store in terms of some operation like sin(x) or ln(x).) I may just be hallucinating, but I think

Re: [Haskell-cafe] Mystery of an Eq instance

On Sat, Sep 21, 2013 at 12:43 PM, David Thomas davidleotho...@gmail.comwrote: Sure. An interesting, if not terribly relevant, fact is that there are more irrational numbers that we *can't* represent the above way than that we can (IIRC). I think that kinda follows from diagonalization... it

Re: [Haskell-cafe] Strange exit status behavior from the process package

On Sat, Sep 21, 2013 at 11:12 PM, Michael Xavier mich...@michaelxavier.netwrote: I've run into some strangeness with the process package. When you kill some processes on the command line you correctly get a non-zero exit status. However when using the process package's terminateProcess (which

Re: [Haskell-cafe] Mystery of an Eq instance

On Fri, Sep 20, 2013 at 12:17 PM, damodar kulkarni kdamodar2...@gmail.comwrote: Ok, let's say it is the effect of truncation. But then how do you explain this? Prelude sqrt 10.0 == 3.1622776601683795 True Prelude sqrt 10.0 == 3.1622776601683796 True Because there's no reliable difference

Re: [Haskell-cafe] Trouble installing haskeline: ExitFailure 139

On Sat, Sep 14, 2013 at 4:57 PM, David Banas capn.fre...@gmail.com wrote: Has anyone else hit an unexplained *ExitFailure 139* when trying to install the *haskeline* package? 139 sounds like how the shell passes on Segmentation fault (core dumped). -- brandon s allbery kf8nh

Re: [Haskell-cafe] Proposal: New syntax for Haskell

On Thu, Sep 12, 2013 at 6:00 PM, David Thomas davidleotho...@gmail.comwrote: I've long been interested in a scripting language designed to be spoken. Not interested enough to go about making it happen... but the idea is fascinating and possibly useful.

Re: [Haskell-cafe] Unary functions and infix notation

On Fri, Sep 6, 2013 at 11:04 AM, Johannes Emerich johan...@emerich.dewrote: Desugaring of an equivalent source file shows that id is applied to the anonymous function, which is then applied to 1. The following example of a function that is not polymorphic in its return type behaves closer to

Re: [Haskell-cafe] How to read a file and return a String?

On Wed, Sep 4, 2013 at 10:21 AM, yi lu zhiwudazhanjiang...@gmail.comwrote: I want to read a text file, and store it in a *String*. But readFile will get *IO String*. I search with google and they tell me it is not necessarily to do so. Can you explain to me why is this? Furthermore, How to

Re: [Haskell-cafe] Unexpected behaviour with send and send-buffer setting

On Tue, Sep 3, 2013 at 6:56 PM, Simon Yarde simonya...@me.com wrote: I've found that setting the send buffer size causes send to truncate the ByteString to the buffer size, but that successive sends continue to succeed when the buffer should be full. I see no actual flow control here. That

Re: [Haskell-cafe] World's First Commercial Haskell IDE and Deployment Platform, FP Haskell Center Launches Today

On Tue, Sep 3, 2013 at 3:35 PM, Mathijs Kwik math...@bluescreen303.nlwrote: You can always try the attached docx! :) Which likewise showed nothing. -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: [Haskell-cafe] Unexpected behaviour with send and send-buffer setting

On Tue, Sep 3, 2013 at 7:58 PM, Joey Adams joeyadams3.14...@gmail.comwrote: On Tue, Sep 3, 2013 at 6:56 PM, Simon Yarde simonya...@me.com wrote: I'm new to Haskell and have reached an impasse in understanding the behaviour of sockets. The crux of my line of enquiry is this; how can my

Re: [Haskell-cafe] Template Haskell: let statement in a splice put in the main = do part of a program?

On Sat, Aug 24, 2013 at 11:00 AM, TP paratribulati...@free.fr wrote: main = do $(makeLetStatement a) -- print a Is that the actual indentation you used? Because it's wrong if so, and the error you would get is the one you're reporting. Indentation matters in Haskell. In an equation for

Re: [Haskell-cafe] abs minBound (0 :: Int) negate minBound == (minBound :: Int)

On Mon, Aug 19, 2013 at 11:43 AM, Kyle Miller kmill31...@gmail.com wrote: Or, three other options: 1) make MIN_INT outside the domain of abs, 2) make the range of abs be some unsigned int type, or 3) use Integer (i.e., use a type which actually represents integers rather than a type which can

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

On Mon, Aug 19, 2013 at 1:48 PM, jabolo...@google.com wrote: 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 Preferred, usually, since

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

On Mon, Aug 19, 2013 at 2:09 PM, Brandon Allbery allber...@gmail.comwrote: Alternatively, have you considered using your own ADT? `data Validity = Success | Failure String` would give you more readable / comprehensible code without needing to worry about assumptions or common usage

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

On Mon, Aug 19, 2013 at 2:59 PM, jabolo...@google.com wrote: 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'. Even in IO, exceptions should be reserved for truly exceptional conditions (of the program cannot safely

Re: [Haskell-cafe] Database.postgreSQL.Simple - ambigious type

On Sat, Aug 17, 2013 at 1:35 PM, Hartmut Pfarr hartmut0...@googlemail.comwrote: (The example is identical to the first 5-liner-example in the package documentation) As I read it, the example has a typo: it should be using `query_` instead of `query`. See

Re: [Haskell-cafe] Database.postgreSQL.Simple - ambigious type

On Sat, Aug 17, 2013 at 5:59 PM, Hartmut Pfarr hartmut0...@googlemail.comwrote: query_ conn select 2 + 2 I've no errors any more. But: I don't see any result (for sure, it is not coeded yet) Yes, because you're not capturing it; it's the return value from `query_`, which you are throwing

Re: [Haskell-cafe] Applicative is like an Arrow

On Fri, Aug 16, 2013 at 10:04 AM, Thiago Negri evoh...@gmail.com wrote: I just stumbled upon the Applicative term. Arrows are quite difficult for me to understand at the moment. I guess it needs time to digest. But, as I understand so far, Applicative and Arrows looks like the same thing.

Re: [Haskell-cafe] Applicative is like an Arrow

On Fri, Aug 16, 2013 at 10:49 AM, Tom Ellis tom-lists-haskell-cafe-2...@jaguarpaw.co.uk wrote: On Fri, Aug 16, 2013 at 10:26:42AM -0400, Brandon Allbery wrote: My understanding is that there's a rework of Arrow in progress that may change this in the future, since *theoretical* Arrows

  1   2   3   4   5   6   >