Re: [Haskell] Tuples Lists

2012-08-13 Thread Brandon Allbery
On Mon, Aug 13, 2012 at 9:06 PM, KC kc1...@gmail.com wrote: This part of the conditional can be written more succinctly as: all (== test_lcv) [init_lcv, update_lcv, update_lcv'] Wouldn't this be be better as tuple avoiding list overhead or does ghc optimize it out? Haskell tuples don't

Re: [Haskell] HaXml

2012-11-09 Thread Brandon Allbery
On Fri, Nov 9, 2012 at 6:04 PM, Michael Mossey m...@alumni.caltech.eduwrote: but got Ambiguous model name 'Prelude': it was found in multiple packages: base haskel98-2.0.0.1 This sounds like something fundamental about the Haskell packages but I don't know enough to know what to do.

Re: [Haskell] Haskell and Pandoc Let's Code-Style Video

2013-01-08 Thread Brandon Allbery
On Tue, Jan 8, 2013 at 5:33 PM, Bob Ippolito b...@redivi.com wrote: - Having a PS1 prompt that contained the exit code from the last command was really clever, I hadn't seen that before. I'm sure some people would be interested in what the bashrc for that prompt looks like. Just make sure

Re: [Haskell] Newbie

2013-03-07 Thread Brandon Allbery
On Thu, Mar 7, 2013 at 7:45 PM, Dan Lior sitipo...@gmail.com wrote: 1) Is this the right place for newbies to post questions about Haskell? This is most a list for announcements; beginn...@haskell.org is better for these kinds of questions, and haskell-c...@haskell.org for general discussion.

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

2015-02-06 Thread Brandon Allbery
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: [Haskell] Rank-N types with (.) composition

2015-02-10 Thread Brandon Allbery
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] ANNOUNCE: GHC version 7.10.2

2015-07-30 Thread Brandon Allbery
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] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)

2015-08-05 Thread Brandon Allbery
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: operations with handles hang

2011-05-24 Thread Brandon Allbery
On Tue, May 24, 2011 at 14:48, Artem Chuprina ran-...@ran.pp.ru wrote: An author writes that the code was tested on ghc 6.6 under Linux/x86. I have ghc 6.12.1 on Debian GNU/Linux. My compiler asked me to add type signatures in second arguments of catch (original code does not have them).

Re: GHC and Haskell 98

2011-06-17 Thread Brandon Allbery
On Fri, Jun 17, 2011 at 11:11, Jacques Carette care...@mcmaster.ca wrote: they chose to stick to pure Haskell 98.  Plan B is actually more fragile in that respect, in that if they forget to be really really explicit about their code being pure Haskell 98, the resulting compilation errors do not

Re: GHCJS

2011-08-02 Thread Brandon Allbery
On Tue, Aug 2, 2011 at 21:09, Edward Z. Yang ezy...@mit.edu wrote: Excerpts from Victor Nazarov's message of Tue Aug 02 19:12:55 -0400 2011: But GHC always emit parse error on javascript keyword. For now I'm using (abusing) ccall calling convention and simple imports works pretty well,

Re: GHCJS

2011-08-02 Thread Brandon Allbery
On Wed, Aug 3, 2011 at 00:31, John Lask jvl...@hotmail.com wrote: What is really required is a pluggable back-end infrastructure - whereby various back-ends could be maintained (or not) at the discretion of their originators and separate to the official ghc back-ends. I guess I'm confused; I

Re: GHCJS

2011-08-03 Thread Brandon Allbery
On Wed, Aug 3, 2011 at 11:55, Christiaan Baaij christiaan.ba...@gmail.comwrote: So perhaps that's the problem. parseDynamicFlags could perfectly well simply return any un-recognised flags. Indeed, I thought it did just that -- it certainly returns a list of un-consumed arguments. If it

Re: System.Process.system in Windows

2011-08-03 Thread Brandon Allbery
On Wed, Aug 3, 2011 at 18:57, wagne...@seas.upenn.edu wrote: (And in any case, the examples above should answer this amusing comment, immediately following those lines: -- We don't want to put the cmd into a single -- argument, because cmd.exe will not try to split it up.

Re: Type families difference between 7.0.4 and 7.2.1

2011-08-15 Thread Brandon Allbery
On Mon, Aug 15, 2011 at 08:12, Luite Stegeman stege...@gmail.com wrote: -- C.hs {-# LANGUAGE TypeFamilies #-} module C where class C1 a where data F a :: * I believe this is supposed to be syntactic sugar for a data family, so 7.0.4 is wrong. (I also think it was a known deficiency.)

Re: Type families difference between 7.0.4 and 7.2.1

2011-08-16 Thread Brandon Allbery
, Brandon Allbery allber...@gmail.com wrote: On Mon, Aug 15, 2011 at 08:12, Luite Stegeman stege...@gmail.com wrote: -- C.hs {-# LANGUAGE TypeFamilies #-} module C where class C1 a where data F a :: * I believe this is supposed to be syntactic sugar for a data family, so 7.0.4

Re: Superclass defaults

2011-09-02 Thread Brandon Allbery
I hope I am misunderstanding this 2011/9/2 Conor McBride co...@strictlypositive.org Also, if I understand you correctly, you say the current situation is exceptional, and suggest option 2 as a temporary solution to it. You seem convinced that these kind of situations will not appear in

Re: Building GHC for Mac OS X 10.5

2011-10-13 Thread Brandon Allbery
On Thu, Oct 13, 2011 at 11:18, Sean Leather leat...@cs.uu.nl wrote: This time, my system is running the now-old 10.5 (Leopard) using Xcode 3.1.4. I'm probably the only one who wants to build on 10.5, but I still appreciate the fact that GHC can be built on a variety of systems, allowing more

Re: Type error: Expected type: T. Actual type T ???

2011-10-29 Thread Brandon Allbery
On Sat, Oct 29, 2011 at 16:18, Bas van Dijk v.dijk@gmail.com wrote: type Run t = ∀ n β. Monad n ⇒ t n β → n (St t β) foo :: (Monad m, MonadTransControl t) = (Run t - m α) - t m α foo f = liftControl f Type checking 'foo' this gives the following error: Couldn't match expected type

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Brandon Allbery
On Thu, Dec 22, 2011 at 05:44, Conor McBride co...@strictlypositive.orgwrote: under Leopard, and got this far bash-3.2$ sudo ./configure Password: checking for path to top of build tree... dyld: unknown required load command 0x8022 configure: error: cannot determine current

Re: Occasional segfault in GHCi w/ 7.4.1-rc1 and 64bit OS X

2011-12-24 Thread Brandon Allbery
On Sun, Dec 25, 2011 at 00:35, austin seipp a...@hacks.yi.org wrote: I looked at the shell scripts that invoke GHC and ran GDB with the proper arguments. I got a backtrace like so: I would not place much faith in this particular backtrace; gdb is badly broken on SL and Lion, it gets seriously

Re: ghc-cabal-Random

2011-12-31 Thread Brandon Allbery
On Sat, Dec 31, 2011 at 15:46, Serge D. Mechveliani mech...@botik.ruwrote: Its installation requires Cabal: which cabal cabal: Command not found. And Cabal is difficult to install, it reports that such and such package versions are missing. On the other hand, Cabal is, probably,

Re: renamed GMP symbols in GHC

2012-01-04 Thread Brandon Allbery
On Wed, Jan 4, 2012 at 11:50, Joachim Breitner nome...@debian.org wrote: Now you might argue that gmp will never be the source of security problems (although I woudn’t be too convinced about that). But even then There's actually a patch for a (claimed to be minor potential) security issue

Re: renamed GMP symbols in GHC

2012-01-05 Thread Brandon Allbery
On Thu, Jan 5, 2012 at 09:37, Simon Marlow marlo...@gmail.com wrote: On 04/01/2012 21:00, Joachim Breitner wrote: And would dlopen make a difference? RTLD_LOCAL sounds interesting... Maybe, I haven't looked into that. Beware of platform issues; IIRC RTLD_LOCAL doesn't do what one expects

Re: renamed GMP symbols in GHC

2012-01-05 Thread Brandon Allbery
On Thu, Jan 5, 2012 at 13:53, Joachim Breitner nome...@debian.org wrote: (But I am really wondering why the linker cannot do something that has the same effect as objcopy --prefix-symbols, but on the fly.) Some of them can; notably the binutils ld, which comes from the same source as and uses

Re: renamed GMP symbols in GHC

2012-01-05 Thread Brandon Allbery
On Thu, Jan 5, 2012 at 16:15, Joachim Breitner nome...@debian.org wrote: Am Donnerstag, den 05.01.2012, 14:14 -0500 schrieb Brandon Allbery: On Thu, Jan 5, 2012 at 13:53, Joachim Breitner nome...@debian.org wrote: (But I am really wondering why the linker cannot do something

Re: Composition operator [was: Re: Records in Haskell]

2012-01-12 Thread Brandon Allbery
On Thu, Jan 12, 2012 at 13:20, Isaac Dupree m...@isaac.cedarswampstudios.orgwrote: way***. If we use the proper Unicode operator ∘, then let's make a wiki page for all the common OSes/input methods, saying how to input it (aside from copy/paste). Is there anything on the Web somewhere

Re: Composition operator [was: Re: Records in Haskell]

2012-01-12 Thread Brandon Allbery
On Thu, Jan 12, 2012 at 17:14, Donn Cave d...@avvanta.com wrote: Spaces or unicode would be the worst idea yet, but hopefully that isn't what you meant. Thing is, I think the spaces idea is considered acceptable because it's *already there*. Take a look at how GHC decides whether (.) is the

Re: Composition operator [was: Re: Records in Haskell]

2012-01-12 Thread Brandon Allbery
On Thu, Jan 12, 2012 at 17:33, Donn Cave d...@avvanta.com wrote: Quoth Brandon Allbery allber...@gmail.com, On Thu, Jan 12, 2012 at 17:14, Donn Cave d...@avvanta.com wrote: Spaces or unicode would be the worst idea yet, but hopefully that isn't what you meant. Thing is, I think

Re: Composition operator [was: Re: Records in Haskell]

2012-01-12 Thread Brandon Allbery
On Thu, Jan 12, 2012 at 18:15, Donn Cave d...@avvanta.com wrote: Quoth Brandon Allbery allber...@gmail.com, ... Seems obvious to me: on the one hand, there should be a plain-ASCII version of any Unicode symbol; on the other, the ASCII version has shortcomings the Unicode one doesn't

Re: Composition operator [was: Re: Records in Haskell]

2012-01-12 Thread Brandon Allbery
On Thu, Jan 12, 2012 at 22:32, Morten Brodersen morten.broder...@constrainttec.com wrote: Requiring unicode characters for the Haskell syntax to solve a *relatively* simple problem is a bad bad idea. Nobody said anything about requiring it. -- brandon s allbery

Re: Records in Haskell

2012-01-14 Thread Brandon Allbery
On Sat, Jan 14, 2012 at 13:38, Johan Tibell johan.tib...@gmail.com wrote: On Fri, Jan 13, 2012 at 3:52 PM, Simon Peyton-Jones simo...@microsoft.com wrote: I know of no proposal that advocates only (A). It seems that we are agreed that we must make use of types to disambiguate common

Re: Type operators in GHC

2012-01-18 Thread Brandon Allbery
On Wed, Jan 18, 2012 at 10:42, Brent Yorgey byor...@seas.upenn.edu wrote: I'm not sure at this point which way I would lean on the issue. Having infix type constructors that don't have to start with : is something I would like, too. But I just thought I would point out that code like tc192

Re: Holes in GHC

2012-01-26 Thread Brandon Allbery
On Thu, Jan 26, 2012 at 14:36, Simon Peyton-Jones simo...@microsoft.comwrote: | Let me try to describe the goal better. The intended users are people | new to Haskell or people working with existing code they are not | familiar with. | | Also me. I want this feature. My question

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 2

2012-01-28 Thread Brandon Allbery
On Jan 28, 2012 11:14 AM, Sanket Agrawal sanket.agra...@gmail.com wrote: Yes, that is another possibility. I would like to keep it simple, and just upgrade to XCode 4.2, instead of installing Clang+LLVM binaries separately, if it is not an issue for GHC. Xcode 4.2 doesn't include full LLVM

Re: via-C

2012-02-06 Thread Brandon Allbery
On Mon, Feb 6, 2012 at 01:05, Serge D. Mechveliani mech...@botik.ru wrote: And now GHC somehow seems to deviate from portability Registerised GHC was never portable. Or if it was, it was well before GHC6. You just weren't aware of what was going on, and apparently built yourself a fantasy

Re: Removal of #include HsFFI.h from template-hsc.h breaks largefile support on 32bit Linux

2012-02-18 Thread Brandon Allbery
On Sat, Feb 18, 2012 at 15:15, Eugene Crosser cros...@average.org wrote: I think it would be a right thing to provide the author of an external module with baseline C environment by default, compatible with the environment under which the modules bundled with the compiler where built. And on

Re: partially applied type synonyms

2012-03-05 Thread Brandon Allbery
On Mon, Mar 5, 2012 at 06:55, Herbert Valerio Riedel h...@gnu.org wrote: Arie Peterson writes: Is there a good reason that partially applied type synonyms cannot be made instances of classes? http://www.haskell.org/pipermail/glasgow-haskell-users/2005-April/008340.html Does anyone here

Re: Interpreting the strictness annotations output by ghc --show-iface

2012-03-07 Thread Brandon Allbery
On Wed, Mar 7, 2012 at 18:41, Johan Tibell johan.tib...@gmail.com wrote: Edward, I have looked at that file before and it didn't make me much wiser, because I cannot map it to the output. I find it's the parenthesis that confuses me the most. What does this mean? C(U(LU(L))) I think the

Re: Interpreting the strictness annotations output by ghc --show-iface

2012-03-07 Thread Brandon Allbery
On Wed, Mar 7, 2012 at 20:01, Johan Tibell johan.tib...@gmail.com wrote: On Wed, Mar 7, 2012 at 4:38 PM, Brandon Allbery allber...@gmail.com wrote: I think the original type signature is needed to figure it out. In the earlier example it indicated ghc drilling down into the type (a tuple

Re: containing memory-consuming computations

2012-04-20 Thread Brandon Allbery
On Fri, Apr 20, 2012 at 12:56, Edward Z. Yang ezy...@mit.edu wrote: So, it would be pretty interesting if we could have an ST s style mechanism, where the data structure is not allowed to escape. But I wonder if this would be too cumbersome for anyone to use. Isn't this what monadic regions

Re: default instance for IsString

2012-04-24 Thread Brandon Allbery
On Tue, Apr 24, 2012 at 02:14, J. Garrett Morris jgmor...@cs.pdx.eduwrote: On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale g...@sefer.org wrote: This is true; the use of polymorphism for numeric literals is also unsound. By this logic, head is unsound, since head [] throws an error.

Re: [Haskell-beginners] GHC7.4.1 - LLVM -W64

2012-06-05 Thread Brandon Allbery
On Tue, Jun 5, 2012 at 8:02 AM, Antoine Latter aslat...@gmail.com wrote: I know that folks were spending time on making GHC work for Win-64, but I don't remember if it has shipped. Scheduled for GHC 7.6.1 -- brandon s allbery allber...@gmail.com

Re: How to describe this bug?

2012-07-13 Thread Brandon Allbery
On Fri, Jul 13, 2012 at 7:29 AM, Aleksey Khudyakov alexey.sklad...@gmail.com wrote: Num inherits from Eq, so Float couldn't have an instance for Num if we didn't have that Eq instance. No more since GHC 7.4. But Eq is indeed superclass of Ord and it Ord is used a lot. ...but Float's Ord

Re: [Haskell-cafe] Call to arms: lambda-case is stuck and needs your help

2012-07-13 Thread Brandon Allbery
On Fri, Jul 13, 2012 at 9:12 PM, Gábor Lehel illiss...@gmail.com wrote: On Thu, Jul 12, 2012 at 7:38 PM, Cale Gibbard cgibb...@gmail.com wrote: case of { ... } looks much better to me than \case of { ... } I also completely agree, but I don't want my opinion to get in the way of

Re: build failures when hiding non-visible imports

2012-08-19 Thread Brandon Allbery
On Sat, Aug 18, 2012 at 9:10 PM, Carter Schonwald carter.schonw...@gmail.com wrote: meaning: flags for treating it as a warning vs as an error? (pardon, i'm over thinking ambiguity in phrasing). if thats the desired difference, that sounds good to me! I would expect it means that, having

Re: Request for comments on proposal for literate programming using markdown

2012-08-22 Thread Brandon Allbery
On Wed, Aug 22, 2012 at 4:37 AM, Philip Holzenspies p...@st-andrews.ac.ukwrote: So, there are many things people read in the proposal that I didn't want to put in, but the things I very much do want to include get lost in translation also. I wanted to allow the GHC source itself to be written

Re: Request for comments on proposal for literate programming using markdown

2012-08-22 Thread Brandon Allbery
On Wed, Aug 22, 2012 at 11:22 AM, Philip Holzenspies p...@st-andrews.ac.ukwrote: On 22 Aug 2012, at 16:13, Brandon Allbery wrote: On Wed, Aug 22, 2012 at 4:37 AM, Philip Holzenspies p...@st-andrews.ac.uk wrote: So, there are many things people read in the proposal that I didn't want

Re: Request for comments on proposal for literate programming using markdown

2012-08-22 Thread Brandon Allbery
On Wed, Aug 22, 2012 at 11:42 AM, Philip Holzenspies p...@st-andrews.ac.ukwrote: Anyway, the point is a bit moot. It seems obvious that the proposal had very little support and has been withdrawn. This might be a poor time for it with 7.6.1 around the corner. That said, I would re-propose

Re: ghc api and .o files

2012-09-14 Thread Brandon Allbery
On Fri, Sep 14, 2012 at 1:31 AM, Evan Laforge qdun...@gmail.com wrote: Relatedly, I've noticed that OS X is forgiving when you don't link in a needed object. It will let me run code, but if I call a function that's not linked in I get a crash. However, linux immediately prints unknown

Re: ghc api and .o files

2012-09-25 Thread Brandon Allbery
On Mon, Sep 24, 2012 at 8:39 PM, Evan Laforge qdun...@gmail.com wrote: (man ld.so on Linux, man dyld on OS X, for the details) I thought ghc uses its own homegrown loader, not the system one? I.e. ghci loads .o files, not .dyld or .so. The bytecode backend (used by ghci, TH, runghc) uses

Re: [Haskell-cafe] lambda case

2012-12-01 Thread Brandon Allbery
On Sat, Dec 1, 2012 at 5:30 AM, Roman Cheplyaka r...@ro-che.info wrote: I find this discussion useful — there are some interesting points (splitting case of into two parts) that I don't remember reading in the original thread (but maybe it's just me). Mentioned twice that I recall, as

Re: Dynamic libraries by default and GHC 7.8

2012-12-05 Thread Brandon Allbery
On Wed, Dec 5, 2012 at 12:03 AM, Chris Smith cdsm...@gmail.com wrote: I'm curious how much of the compile twice situation for static and dynamic libraries could actually be shared. Probably none; on most platforms you're actually generating different code (dynamic libraries require generation

Re: Dynamic libraries by default and GHC 7.8

2012-12-06 Thread Brandon Allbery
On Thu, Dec 6, 2012 at 4:04 PM, Simon Marlow marlo...@gmail.com wrote: On 05/12/12 15:17, Brandon Allbery wrote: Probably none; on most platforms you're actually generating different code (dynamic libraries require generation of position-independent Sure there's a lot of differences

Re: [Haskell-cafe] GHCi + FFI + global C variables

2012-12-11 Thread Brandon Allbery
On Tue, Dec 11, 2012 at 5:57 AM, Francisco Vieira de Souza vieira.u...@gmail.com wrote: Hi Simon! Is it not necessary to show the type of igraph_bool_t igraphhaskell_initialized like int igraph_bool_t igraphhaskell_initialized = 0? igraph_bool_t uses the _t suffix convention for typedefs

Re: [Haskell-cafe] [Haskell-beginners] ghc and android

2013-01-01 Thread Brandon Allbery
On Tue, Jan 1, 2013 at 9:13 AM, Bernhard Urban lew...@gmail.com wrote: The main issue: The GHC runtime relies on glibc I have to assume this is not meant literally, because ghc works on OS X and *BSD. -- brandon s allbery kf8nh sine nomine associates

Re: Newtype wrappers

2013-01-14 Thread Brandon Allbery
On Mon, Jan 14, 2013 at 5:29 PM, Johan Tibell johan.tib...@gmail.comwrote: Let me rephrase: how will Simon's proposed data constructors are in scope mechanism work? For example, will let xs :: Map = ... in map MyNewtype xs behave differently if the constructors of Map are in scope

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari bgamari.f...@gmail.com wrote: on a Win32 (SP3) machine using the Haskell Platform and GHC-7.6.1 (standalone) and I have noticed the same frustrating errors. Any suggestions would be most appreciated. Are you certain you have write permission

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 2:53 PM, J. Garrett Morris jgmor...@cs.pdx.eduwrote: Why is it trying to create .? You can specify -odir with a directory that doesn't exist; perhaps GHC always tries to create the output directory? In any case, I can confirm the observed behavior with GHC 7.6.1 on

Re: Size of crosscompiled exectuable

2013-01-25 Thread Brandon Allbery
On Fri, Jan 25, 2013 at 8:58 AM, Nathan Hüsken nathan.hues...@posteo.dewrote: A simple hello world application has 1Mb in by 64 bit ubunut machine. When I stript it, is has about 750kb. When I build a cross compiler for android (arm), the executable has a asize of about 10MB, stripped about

Re: GHC 7.8 release?

2013-02-09 Thread Brandon Allbery
On Sat, Feb 9, 2013 at 6:27 AM, Simon Peyton-Jones simo...@microsoft.comwrote: In short, I think we already have the situation that you desire. Perhaps we just need to market it better? ** ** Or am I mistaken? Except the current question is about how ghc releases interact with the

Re: GHC 7.8 release?

2013-02-10 Thread Brandon Allbery
On Sun, Feb 10, 2013 at 4:02 PM, Simon Peyton-Jones simo...@microsoft.comwrote: What causes the wave of package updates? Just because GHC 7.8 (say) comes out, no package author need lift a finger. The Haskell Platform sets the pace for package updates. When the Haskell Platform comes out,

Re: GHC 7.8 release?

2013-02-11 Thread Brandon Allbery
On Mon, Feb 11, 2013 at 7:37 PM, Johan Tibell johan.tib...@gmail.comwrote: Thanks for sharing! My perspective is of course as a user. I don't think I've ever run into a case where the compiler broken a previous work e.g. C++ program. On the other hand I have to make a release of most of the

Re: How to compile ghc 7.6.2 with llvm?

2013-02-12 Thread Brandon Allbery
On Tue, Feb 12, 2013 at 11:41 AM, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Then I `mv build.mk.sample build.mk`, set BuildFlavour = perf-llvm, add GhcWithLlvmCodeGen = YES. Finally `./configure --with-gcc=/usr/bin/llvm-gcc`. Configure output attached. After make, I

Re: How to compile ghc 7.6.2 with llvm?

2013-02-12 Thread Brandon Allbery
On Tue, Feb 12, 2013 at 1:13 PM, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Then how to check if the output files (executables, libraries) are generated by llvm, instead of gcc? In other words, to see if llvm was used correct. I doubt that there is a good way unless

Re: Overloaded record fields

2013-06-27 Thread Brandon Allbery
On Thu, Jun 27, 2013 at 2:14 AM, AntC anthony_clay...@clear.net.nz wrote: Does the lens approach meet SPJ's criteria of: * It is the smallest increment I can come up with that meaningfully addresses the #1 pain point (the inability to re-use the same field name in different records).

Re: How to fix DatatypeContexts?

2013-07-18 Thread Brandon Allbery
On Thu, Jul 18, 2013 at 9:58 AM, harry volderm...@hotmail.com wrote: Which brings me back to my original question - is there any way that the type system could be enhanced, so that the compiler understands that Bar f = Foo f without being told so explicitly every time? No. The point is,

Re: Installing GHC and libgmp.so

2013-07-23 Thread Brandon Allbery
On Tue, Jul 23, 2013 at 10:28 AM, Stephen Paul Weber singpol...@singpolyma.net wrote: Somebody claiming to be harry wrote: all of this stems from GHC looking for libgmp.so, instead of libgmp.so.3 Most systems symlink libgmp.so to the default version installed. On Debian stable it's

Re: Installing GHC and libgmp.so

2013-07-23 Thread Brandon Allbery
On Tue, Jul 23, 2013 at 10:33 AM, harry volderm...@hotmail.com wrote: Could GHC be configured to look for libgmp.so.3, or whatever version it was actually linked against, if it can't find libgmp.so? Linux ld.so doesn't work that way. -- brandon s allbery kf8nh

Re: change location of user's package directory

2013-07-28 Thread Brandon Allbery
On Sun, Jul 28, 2013 at 5:35 AM, harry volderm...@hotmail.com wrote: $ ghc-pkg check --package-db=~/cabal ghc-pkg: ~/cabal: openFile: does not exist (No such file or directory) $ ls ~/cabal package.cache Yet another reason to avoid ~... it's (a) only expanded by the shell, and (b) not

Re: openindiana binaries

2013-09-30 Thread Brandon Allbery
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: Linux deployment requirements for GHC-produced binaries

2013-10-03 Thread Brandon Allbery
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

2013-10-03 Thread Brandon Allbery
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

2013-10-03 Thread Brandon Allbery
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: --split-objs

2013-12-18 Thread Brandon Allbery
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

2013-12-18 Thread Brandon Allbery
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: Static values language extension proposal

2014-01-24 Thread Brandon Allbery
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: Static values language extension proposal

2014-01-26 Thread Brandon Allbery
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: [Solaris bindist] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1

2014-02-05 Thread Brandon Allbery
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: 7.8.1, template haskell, and dynamic libraries

2014-02-09 Thread Brandon Allbery
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: PROPOSAL: Literate haskell and module file names

2014-03-17 Thread Brandon Allbery
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: -optl behavior in ghc-7.8.1

2014-04-10 Thread Brandon Allbery
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

2014-04-10 Thread Brandon Allbery
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

2014-04-10 Thread Brandon Allbery
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: -optl behavior in ghc-7.8.1

2014-04-14 Thread Brandon Allbery
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: RFC: changes to -i flag for finding source files

2014-04-25 Thread Brandon Allbery
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: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

2014-07-05 Thread Brandon Allbery
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: Installing ghc-7.8.3 OS X bindist fails on Xcode 4 CLI-only machine

2014-07-14 Thread Brandon Allbery
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

2014-07-14 Thread Brandon Allbery
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: Old code broken by new Typeable class

2014-08-05 Thread Brandon Allbery
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: 'import ccall unsafe' and parallelism

2014-08-14 Thread Brandon Allbery
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: hmatrix-0.16.0.4 installation problem

2014-08-22 Thread Brandon Allbery
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: Permitting trailing commas for record syntax ADT declarations

2014-09-26 Thread Brandon Allbery
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

2014-09-26 Thread Brandon Allbery
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: Aliasing current module qualifier

2014-09-29 Thread Brandon Allbery
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

2014-09-29 Thread Brandon Allbery
, 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: The future of the haskell2010/haskell98 packages - AKA Trac #9590

2014-09-30 Thread Brandon Allbery
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: GHC 7.8.3 thread hang

2014-11-11 Thread Brandon Allbery
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: CPP Help (was Re: Latest Template Haskell Breaks Package)

2014-12-23 Thread Brandon Allbery
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)

2014-12-23 Thread Brandon Allbery
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

  1   2   3   4   5   6   >