Re: Windows build broken (again)

2014-10-02 Thread Brandon Allbery
On Thu, Oct 2, 2014 at 4:39 PM, Simon Peyton Jones simo...@microsoft.com wrote: Presumably this is some kind of Windows escape-character problem. But it has worked fine for years, so what is going on? At a guess, something that was using / is now using \ and getting eaten by the shell. Or

Re: RFC: Source-markup language for GHC User's Guide

2014-10-07 Thread Brandon Allbery
On Tue, Oct 7, 2014 at 11:24 AM, Austin Seipp aus...@well-typed.com wrote: The more annoying bit is it will incur an extra dependency for GHC documentation - which, remember, is part of ./validate - but that's life, perhaps. Docbook is a fairly large dependency in my experience? -- brandon

Re: Curious Windows GHCi linker behaviour .o vs. .dll

2014-10-11 Thread Brandon Allbery
On Sat, Oct 11, 2014 at 9:24 AM, Herbert Valerio Riedel hvrie...@gmail.com wrote: Moreover, compiling and running the program still works, and the additional underscore is visible in `nm` as well: Sounds like ghci's linker doesn't resolve weak symbols? -- brandon s allbery kf8nh

Re: Curious Windows GHCi linker behaviour .o vs. .dll

2014-10-12 Thread Brandon Allbery
On Sun, Oct 12, 2014 at 6:11 AM, Herbert Valerio Riedel hvrie...@gmail.com wrote: Personally, I think this was a very questionable decision on Microsoft's part, as this way you effectively destroy any chance to simply compile existing POSIX-compatible source code for no good

Re: Problems adding a custom section to a Windows binary

2014-10-12 Thread Brandon Allbery
On Sun, Oct 12, 2014 at 6:28 PM, Gintautas Miliauskas gintautas.miliaus...@gmail.com wrote: I'm not sure if this is a gcc/binutils bug or not (the exact same commands with the same tools work fine on Linux binaries). There are huge differences between Linux ELF and Windows PE32/PE64; it

Re: Avoiding the hazards of orphan instances without dependency problems

2014-10-19 Thread Brandon Allbery
On Sun, Oct 19, 2014 at 1:02 PM, David Feuer david.fe...@gmail.com wrote: with a flag -XAllowForbiddenInstancesAndInviteNasalDemons One could argue this is spelled -XIncoherentInstances -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: GHC Weekly News - 2014/10/20

2014-10-20 Thread Brandon Allbery
On Mon, Oct 20, 2014 at 10:22 AM, Austin Seipp aus...@well-typed.com wrote: https://ghc.haskell.org/trac/ghc/blog/edit/weekly20141020 You might want to provide the ordinary mortals link instead of the edit link. :) -- brandon s allbery kf8nh sine nomine

Re: GHC Weekly News - 2014/10/20

2014-10-20 Thread Brandon Allbery
On Mon, Oct 20, 2014 at 10:26 AM, Alan Kim Zimmerman alan.z...@gmail.com wrote: All you have to do is edit out /edit/ in the URL Yes, I did that. It's still better to not require people to do that -- brandon s allbery kf8nh sine nomine associates

Re: RFC: Properly stated origin of code contributions

2014-10-30 Thread Brandon Allbery
On Thu, Oct 30, 2014 at 5:00 AM, Jan Stolarek jan.stola...@p.lodz.pl wrote: Projects like Scala and Clojure require filling in a Contributor [License] Agreement. I have not bothered to investigate the exact purpose. In the absence of a license agreement, the contribution is usually owned by

Re: RFC: Properly stated origin of code contributions

2014-10-30 Thread Brandon Allbery
On Thu, Oct 30, 2014 at 11:25 AM, Carter Schonwald carter.schonw...@gmail.com wrote: I'm happy to ask the IP lawyers in my family for some opinions on this but I think what we are doing now is fine. As Joachim already noted, it's a bit late to switch course for GHC; you'd have to track down

Re: Major commit to the constraint solver

2014-11-03 Thread Brandon Allbery
On Mon, Nov 3, 2014 at 8:11 PM, Richard Eisenberg e...@cis.upenn.edu wrote: Stderr: tar: --format: Cannot stat: No such file or directory tar: ustar: Cannot stat: No such file or directory tar: Error exit delayed from previous errors. make[2]: *** [cabal01] Error 1 Apple got rid of gnutar,

Re: Is anybody able to build HEAD on Mac with Yosemite wtih Xcode 6.1 and GHC 7.8.3

2014-11-07 Thread Brandon Allbery
On Fri, Nov 7, 2014 at 3:26 PM, George Colpitts george.colpi...@gmail.com wrote: command line: can't load .so/.DLL for: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.10.sdk/usr/lib/libiconv.dylib

Re: Is anybody able to build HEAD on Mac with Yosemite wtih Xcode 6.1 and GHC 7.8.3

2014-11-07 Thread Brandon Allbery
On Fri, Nov 7, 2014 at 3:39 PM, Brandon Allbery allber...@gmail.com wrote: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.10.sdk/usr/lib/libiconv.dylib (for architecture x86_64): Mach-O 64-bit dynamically linked shared library stub x86_64

Re: Keeping the Newcomers wiki page alive

2014-11-12 Thread Brandon Allbery
On Wed, Nov 12, 2014 at 5:32 PM, Joachim Breitner m...@joachim-breitner.de wrote: The quality that we are looking for is “tacklabe by a newcomer“, i.e. not requiring too deep knowledge of GHC. Is there a nice word for that? I found “accessible”, “welcoming”, “appealing” – anything that sounds

Re: mask in waitQSem

2014-11-14 Thread Brandon Allbery
On Fri, Nov 14, 2014 at 4:23 PM, Yuras Shumovich shumovi...@gmail.com wrote: Here mask is used, but I looks completely useless for me. waitQSem itself should be called with async exceptions masked, otherwise there is no way to prevent resource leak. Do anyone know why mask is used here? I

Re: Shipping core libraries with debug symbols

2015-01-02 Thread Brandon Allbery
On Fri, Jan 2, 2015 at 6:18 PM, Johan Tibell johan.tib...@gmail.com wrote: I believe other compilers, e.g. GCC, ship debug symbols in separate files ( https://packages.debian.org/sid/libc-dbg ) that e.g. GDB can then look up. Lookaside debugging information is (a) a Linux-ism, although

Re: Shipping core libraries with debug symbols

2015-01-02 Thread Brandon Allbery
On Fri, Jan 2, 2015 at 7:54 PM, Johan Tibell johan.tib...@gmail.com wrote: If we just built GHC with debug symbols enabled, everything should just work from a packaging perspective? On most RPM systems, at least (I get debuginfo packages for local RPM builds, with nothing special in the specs

Re: Compiling binaries of bytecode: ever been considered?

2019-11-04 Thread Brandon Allbery
Lots of people have had such ideas… until they looked at the bco implementation. Consider yourself warned. On Mon, Nov 4, 2019 at 9:02 AM Andreas Klebinger wrote: > I've heard the idea come up once or twice. But I'm not aware of any > efforts going further than that. > > > > Christopher Done

Re: Multiple instance pragmas

2019-11-25 Thread Brandon Allbery
TBH I'd have expected INCOHERENT to cover OVERLAPPABLE, i.e. all bets are off and you've allowed anything including overlaps. On Mon, Nov 25, 2019 at 11:26 AM Domínguez, Facundo < facundo.doming...@tweag.io> wrote: > Dear devs, > > I have a program [1] which depends on the ability to specify

Re: slow load and typecheck

2019-10-08 Thread Brandon Allbery
.hsc file and object code", aside from HscInterpreted. On Tue, Oct 8, 2019 at 10:37 AM Sam Halliday wrote: > Thanks Brandon, > > Brandon Allbery writes: > > Cabal will build all that stuff the first time and then reuse it the > next, > > so it's not quite the same

Re: slow load and typecheck

2019-10-08 Thread Brandon Allbery
I already mentioned needing .hi (I may have said hsc, whoops; Haskell Interface files) from dependencies; you really want to turn that part on, at least. And possibly ensure your other options are compatible with existing .hi files, so they can be loaded directly. I think the .o isn't used until

Re: slow load and typecheck

2019-10-08 Thread Brandon Allbery
It reuses the .hi files already built for other modules. Those aren't in the source directory but under a build directory. If they don't exist there, it will build the dependencies to create them. On Tue, Oct 8, 2019 at 10:57 AM Sam Halliday wrote: > Brandon Allbery writes: > > >

Re: slow load and typecheck

2019-10-08 Thread Brandon Allbery
I think the only path for loading a dependency that doesn't involve loading object code of some kind is the {-# SOURCE #-} hack as part of .hs-boot files, which isn't general enough to be reused here as I understand it. A decent chunk of the compiler would need to be duplicated to avoid this, and

Re: slow load and typecheck

2019-10-08 Thread Brandon Allbery
If they are loading each other, they likewise need .hi files. .o files are optional if you aren't linking them. On Tue, Oct 8, 2019 at 10:59 AM Sam Halliday wrote: > Brandon Allbery writes: > > > you really do want those .hi files, otherwise it must compile the > >

Re: Coercible questions

2019-10-05 Thread Brandon Allbery
I think there's some work going on to expose the representations, which would enable some ability to coerce. But possibly not this much, as they're separate RuntimeReps so you don't combine signed and unsigned numbers inadvertently; currently that's a little magical inside ghc iirc, with the

Re: validate-x86_64-darwin failing

2019-10-14 Thread Brandon Allbery
Apple makes that annoyingly difficult; someone has to in effect donate a Mac to the cause, preferably one with enough memory and fast CPU. (Not literally: one can keep the Mac physically, but would more or less lose use of it for any other purpose.) ___

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

2020-01-25 Thread Brandon Allbery
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 ___ ghc-devs mailing list

Re: Linking stage 2 compiler with non-threaded RTS using Make?

2020-01-09 Thread Brandon Allbery
There are some hidden dependencies, in particular ghci requires GhcThreaded last I checked (and ghci == ghc --interactive, not a separate program that could be linked threaded). You may also have to disable the entire bytecode backend, which would take TH and runghc with it as well as ghci. On

Re: Parsing funny arrows

2020-08-29 Thread Brandon Allbery
Another way to figure it out is the shift/reduce conflict on @, which tells you it had two ways to recognize it. "Reduce" here means returning to your parser rule, so "shift" means btype wanted to recognize the @. Inspecting btype would then have shown that it was looking for a type application.

Re: Weird "missing hi file" problem with a serializable Core patch

2020-09-16 Thread Brandon Allbery
Without looking at the implementation, it looks to me like the filename is doubled for some reason. This may suggest places to look. On Wed, Sep 16, 2020 at 2:57 PM Cheng Shao wrote: > Hi all, > > Following a short chat in #ghc last week, I did a first attempt of > reusing existing Iface logic

Re: Question about binary distributions

2020-08-07 Thread Brandon Allbery
It's only relocatable given some assumptions which are violated by various distributions (AIX was already mentioned; and the bin and lib directories may not be next to each other with some distributions' preferred configurations). Basically the configure mechanism gives us some flexibility not

Re: AW: RE: Hi. I'm new to this mailing list and have a few questions.

2020-08-04 Thread Brandon Allbery
_ already has the meaning of a type wildcard (generalized from its use as a wildcard in patterns), so this is consistent with its use in other type signatures. The problem I see with your proposal is that it assumes you know the names of the type variables in the original declaration. On Tue, Aug

Re: AW: RE: Hi. I'm new to this mailing list and have a few questions.

2020-08-04 Thread Brandon Allbery
www.anselmschueler.com* <http://www.anselmschueler.com> > > *m...@anselmschueler.com* > > > > *From: *Brandon Allbery > *Sent: *Tuesday, August 4, 2020 20:16 > *To: *Anselm Schüler (conversations subemail) > > *Cc: *Rowan Goemans ; ghc-devs@haskel

Re: GHC Logo

2020-08-16 Thread Brandon Allbery
Sounds like a missing font to me. It rendered sans-serif here, but I have that set as default. On Sun, Aug 16, 2020 at 1:39 PM Merijn Verstraaten wrote: > > > > On 16 Aug 2020, at 16:02, Ben Gamari wrote: > > > > Carter Schonwald writes: > > > >> I def like the serif / times new Roman version

Re: GHC and the future of Freenode

2021-06-06 Thread Brandon Allbery
Pasting directly into the channel is generally a no-no on IRC. Things like Matrix or IRCCloud convert to pastebins automatically. On Sun, Jun 6, 2021 at 2:07 PM Viktor Dukhovni wrote: > On 19 May 2021, at 11:48 am, Carter Schonwald > wrote: > > > I personally vote for irc. Perhaps via Libera.

Re: Trying to speedup GHC compile times...Help!

2021-07-08 Thread Brandon Allbery
They don't work in Chrome either. A quick inspection of the links indicates that the ones in the TOC have anchors of the form "#org-NN" while their targets have forms derived from the heading strings. On Thu, Jul 8, 2021 at 4:53 PM Jaro Reinders wrote: > Hi Jeff, > > For some reason none of

Re: Is referring to GHC-proposals in GHC user manual bad practice or not?

2021-03-17 Thread Brandon Allbery
I'm inclined to agree with this, especially given the argument that it'll depend on the state of a proposal at a given time. On Wed, Mar 17, 2021 at 2:36 PM Richard Eisenberg wrote: > My vote is that the manual should be self-standing. References to > proposals are good, but as

Re: Pattern matching desugaring regression? Re: [Haskell-cafe] Why does my module take so long to compile?

2021-02-15 Thread Brandon Allbery
They already said something about waiting on dependencies to catch up with ghc9, IIRC. On Mon, Feb 15, 2021 at 2:22 PM Carter Schonwald wrote: > Don’t forget ghc 9 is already out! :) > > On Mon, Feb 15, 2021 at 2:10 PM Troels Henriksen wrote: > >> It is very likely that issue 17386 is the

Re: where to go for HLS details?

2021-10-12 Thread Brandon Allbery
For what it's worth, I use hexchat. You may prefer to use IRC via matrix, though. On Tue, Oct 12, 2021 at 2:22 PM Norman Ramsey wrote: > > In general #haskell-language-server on libera is a good place to > > ask these questions. > > Can you recommend an IRC client? I tried using the

Re: please help with ghc package-db flags

2021-09-27 Thread Brandon Allbery
Not necessarily filesystem; also check GHC_PACKAGE_PATH in the environment. On Mon, Sep 27, 2021 at 4:51 PM Norman Ramsey wrote: > I've traced some troubles to a problem with GHC's response > to the -clear-package-db and -package-db flags. I would very much > like to know if others can

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread Brandon Allbery
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: Meaning of -i and -hidir

2021-10-23 Thread Brandon Allbery
I would expect that to be -I and for -i to specify module paths (which might well mean .hi). On Sat, Oct 23, 2021 at 2:32 PM Carter Schonwald wrote: > I would assume the -i is for include c header search paths but I could be > wrong > > On Sat, Oct 23, 2021 at 6:00 AM Oleg Grenrus wrote: > >>

Re: Milestones page is missing or has inaccurate dates

2022-10-13 Thread Brandon Allbery
I think 9.2.4 got released early because of https://gitlab.haskell.org/ghc/ghc/-/issues/21708, and the milestone needs to be updated. On Thu, Oct 13, 2022 at 7:57 AM George Colpitts wrote: > > Hi Ben > > Thanks for the very quick response which addresses my concerns ! However I'm > confused by

Re: A macOS static linking mystery

2022-08-09 Thread Brandon Allbery
One peculiarity with the ordering is that linkers only search static archives for existing undefined references. If the reference to `Cffi` actually comes first, then nothing should be required from it yet and *it shouldn't be linked* (absent options like GNU ld's `--whole-archive`). This said,

Re: A macOS static linking mystery

2022-08-08 Thread Brandon Allbery
Any chance this is related to the weird system cache thing for system dylibs that came in with the most recent OS X releases? I don't think those show up in the normal way. On Mon, Aug 8, 2022 at 7:33 PM Ryan Scott wrote: > > I should clarify that I'm using a borrowed macOS on which I don't have

Re: A macOS static linking mystery

2022-08-08 Thread Brandon Allbery
https://developer.apple.com/forums/thread/692383 is what I'm thinking of, but in this case there would still be library references shown by "otool -L", so I guess that's not what you're seeing. On Mon, Aug 8, 2022 at 7:49 PM Ryan Scott wrote: > > Possibly? I'm not familiar with the system cache

Re: Installing GHC on my MacBook Air

2023-03-15 Thread Brandon Allbery
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: GitLab partial outage - attempting to mitigate

2023-03-20 Thread Brandon Allbery
Isn't it just "move /nix out of the way, bind mount a new one from a larger drive, use rsync to move the data"? On Mon, Mar 20, 2023 at 9:25 AM Ben Gamari wrote: > > Bryan Richter via ghc-devs writes: > > > I eventually resorted to a server reboot, which cleared up all the problems > > I was

`ideclImplicit` in compiler/GHC/Iface/Ext/Ast.hs?

2023-02-13 Thread Brandon Allbery
I'm researching a potential GHC proposal to allow "Prelude-like" imports, which in practice means silencing warnings about implicit use of symbols from them (-Wmissing-import-lists and similar). So far, it looks like `ideclImplicit` does almost exactly what I want and all I need is syntax to set

Re: BoxedRep UNPACK pragma

2023-08-12 Thread Brandon Allbery
The warning sounds correct to me: `Maybe` has two constructors? On Sat, Aug 12, 2023 at 10:25 AM Alan & Kim Zimmerman wrote: > > I have seen the following warning on master for some time > > compiler/GHC/Core/TyCon.hs:1540:5: warning: > • Ignoring unusable UNPACK pragma > on the

Re: vectorisation code?

2015-01-19 Thread Brandon Allbery
On Mon, Jan 19, 2015 at 10:47 PM, Carter Schonwald carter.schonw...@gmail.com wrote: relatedly: wont the source be preserved in the git history if we remove it? the CPP etc solution is Indeed; most of the projects I'm involved with have a specific policy to *not* keep commented-out or

Re: Put Error: before error output

2015-01-27 Thread Brandon Allbery
On Tue, Jan 27, 2015 at 12:02 PM, Konstantine Rybnikov k...@k-bx.com wrote: Sorry, I didn't get what you mean. Do you mean `error` [0] function from Prelude? The discussion is currently not regarding runtime program behavior, nor it is about `error` function. It's rather regarding compiler

Re: linker error on OSX (symbol not found _iconv)

2015-01-04 Thread Brandon Allbery
On Sun, Jan 4, 2015 at 1:23 AM, Hemanth Kapila saihema...@gmail.com wrote: ld: couldn't dlopen() /usr/lib/libdtrace.dylib: dlopen(/usr/lib/libdtrace.dylib, 1): Symbol not found: _iconv Referenced from: /usr/lib/libmecabra.dylib Expected in: /opt/local/lib/libiconv.2.dylib in

Re: linker error on OSX (symbol not found _iconv)

2015-01-04 Thread Brandon Allbery
On Sun, Jan 4, 2015 at 11:06 AM, Hemanth Kapila saihema...@gmail.com wrote: I am not able to figure out the exact dependency issue here - apparently, libHSrts cannot be built with the system version of libiconv (configure step fails), while at the same time ghc-stage1 relies on some system

Re: Updating submodules

2015-01-06 Thread Brandon Allbery
On Tue, Jan 6, 2015 at 11:28 AM, Ryan Newton rrnew...@gmail.com wrote: Has everyone seen the git man page generator ;-)? Hilarious. http://git-man-page-generator.lokaltog.net/ I still want the git version of http://thedoomthatcametopuppet.tumblr.com/ :p -- brandon s allbery kf8nh

Re: wither the Platform

2015-03-25 Thread Brandon Allbery
On Wed, Mar 25, 2015 at 10:24 AM, Mark Lentczner mark.lentcz...@gmail.com wrote: The OpenGL stuff is a hard one, since it is large, but a very big painful build if you need it. Perhaps we need server/non-server versions of the platform - but only if we can get them out on the same day.

Re: wither the Platform

2015-03-25 Thread Brandon Allbery
On Wed, Mar 25, 2015 at 10:47 AM, Mike Meyer m...@mired.org wrote: The words Core Platform makes me think there ought to be a non-Core platform. This would actually match the Clojure model, where there's the stuff that's part of Clojure, a set of recommended libraries, and the library archive

Re: GHC with cabal-install

2015-02-26 Thread Brandon Allbery
On Thu, Feb 26, 2015 at 7:41 PM, Kazu Yamamoto k...@iij.ad.jp wrote: Anyway, I would like to know reasons why the GHC binary package does not provide the cabal command. Too many additional dependencies. Note that https://www.haskell.org/cabal/download.html *does* provide binary packages,

Re: RFC: Native -XCPP Proposal

2015-05-06 Thread Brandon Allbery
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

2015-05-06 Thread Brandon Allbery
On Wed, May 6, 2015 at 11:27 AM, Kosyrev Serge _deepf...@feelingofgreen.ru wrote: Why *shouldn't* TH fill that role? What can be done about it? For one, it's difficult to make it available in cross compilers (granted, work is being done on this) and not available on some platforms (ARM has

Re: StrictData and the parser

2015-06-04 Thread Brandon Allbery
On Thu, Jun 4, 2015 at 3:52 PM, Adam Sandberg Eriksson a...@sandbergericsson.se wrote: However after adding relevant rules for '~' in the parser[2] I get an explosion of shift/reduce conflicts as well as 4 extra reduce/reduce conflicts, see [3] for the happy info (the states with 36

Re: Abstract FilePath Proposal

2015-06-28 Thread Brandon Allbery
On Sun, Jun 28, 2015 at 5:09 PM, Neil Mitchell ndmitch...@gmail.com wrote: * I believe some Emacs user once told me that a//b is not the same as a/b in some circumstances. Only when typing to an interactive path prompt; it lets you reset to / without erasing the existing path prefix. This

Re: Abstract FilePath Proposal

2015-07-04 Thread Brandon Allbery
On Sat, Jul 4, 2015 at 3:26 PM, Sven Panne svenpa...@gmail.com wrote: To me the fundamental question which should be answered before any detail question is: Should we go on and continuously break minor things (i.e. basically give up any stability guarantees) or should we collect a bunch of

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

2015-05-21 Thread Brandon Allbery
On Thu, May 21, 2015 at 11:51 AM, Herbert Valerio Riedel hvrie...@gmail.com wrote: Performance isn't (my) motivation for avoiding fork/exec (and the equivalent on Win32) but rather avoiding the added complexity of marshalling/IPC with fork/exec, as opposed to simply calling into a native

Re: Typechecker / OverloadedStrings question 7.8 vs. 7.10

2015-08-03 Thread Brandon Allbery
On Mon, Aug 3, 2015 at 12:45 PM, Daniel Bergey ber...@teallabs.org wrote: I thought GHC would infer the type when only one instance is in scope, at least in some cases, like IsString. But I could well be wrong about that. Typeclasses are open-world; this is not a safe assumption, since

Re: [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: Record syntax for pattern synonyms

2015-08-11 Thread Brandon Allbery
On Tue, Aug 11, 2015 at 9:11 AM, Richard Eisenberg e...@cis.upenn.edu wrote: I haven't tried to do it, but I imagine you could do some cool lens-like constructs with proper (ab)use of this feature. Seems likely given that generalizing record update was the original impetus for lenses. :) --

Re: Improving the Get Haskell Experience

2015-07-13 Thread Brandon Allbery
On Mon, Jul 13, 2015 at 3:34 AM, Kosyrev Serge _deepf...@feelingofgreen.ru wrote: ..And so, I can't help but wonder.. what if the Stack authors would have applied their expertise to provide the same user experience they achieved.. ..but with Nix as an underlying technology? Backpack (very

Re: New release of GHC 7.8 to support OS X El Capitan

2015-07-18 Thread Brandon Allbery
On Sat, Jul 18, 2015 at 7:39 AM, Ben Gamari b...@well-typed.com wrote: I would like to understand the root-cause of the issue. It seems that OS X will now raise EPERM instead of EACCES when certain files are accessed. That being said, it's not at all clear to me which system call is failing

Re: download all of Hackage?

2015-09-14 Thread Brandon Allbery
On Mon, Sep 14, 2015 at 10:43 AM, Richard Eisenberg wrote: > Is there an easy way to download (but not compile) all of Hackage? I know > of the hackager package, but that's about compiling. I just want a whole > big load of Haskell code to play with. I thought I could find a

Re: -XStrict: Why some binders are not made strict?

2015-12-07 Thread Brandon Allbery
On Mon, Dec 7, 2015 at 8:40 PM, Ömer Sinan Ağacan wrote: > With -XStrict 'x', 'xs', 'y' and 'ys' don't become strict. I'm wondering > about > the motivation behind this, I found this interesting. I always thought > -XStrict > gives me this guarantee: If I'm using an

Re: Why upper bound version numbers?

2016-06-06 Thread Brandon Allbery
On Mon, Jun 6, 2016 at 5:02 PM, Dominick Samperi wrote: > Consequently, it refuses to install with the latest ghc provided with > the Haskell Platform (8.0.1). > base is not defined by the Platform, it is defined by (and ships with, and must completely match) ghc. And no,

Re: Why upper bound version numbers?

2016-06-06 Thread Brandon Allbery
On Mon, Jun 6, 2016 at 8:19 PM, Dominick Samperi wrote: > The odd thing about this is that to upper bound a package that you did > not write (like base) you would have to know that incompatible changes > were coming in subsequent revisions, or that features of the API that >

Re: [ANNOUNCE] Glasgow Haskell Compiler 8.0.1, release candidate 1

2016-01-13 Thread Brandon Allbery
On Wed, Jan 13, 2016 at 3:55 PM, Karel Gardas wrote: > On 01/13/16 09:28 PM, George Colpitts wrote: > >> installs fine on mac but cabal install vector fails on primitive, looks >> to me like gmp library is not provided >> > > gmp should be probably provided by your OS.

Re: Phab failing to apply patches

2016-01-18 Thread Brandon Allbery
On Mon, Jan 18, 2016 at 12:09 PM, Thomas Miedema wrote: > * you validate locally (in a different build directory, so you can keep > using build flavour = devel2 in your development directory) > * fork the ghc github repository, push your branch there, and let Travis >

Re: ghci and unfoldings?

2016-01-17 Thread Brandon Allbery
On Sun, Jan 17, 2016 at 9:40 PM, Conal Elliott wrote: > I'm developing a GHC plugin (using HERMIT), and I'd like to use ghci to > speed up development. I'm able to do so, except that my plugin critically > needs access to unfoldings, which appear to be unavailable in ghci. A >

Re: Best practices for merging?

2016-02-02 Thread Brandon Allbery
On Tue, Feb 2, 2016 at 9:23 AM, Alexander Berntsen <alexan...@plaimi.net> wrote: > On 02/02/16 15:20, Brandon Allbery wrote: > > Only if it builds and passes tests across all ten commits. > Yes, obviously. I have never worked anywhere where breaking commits > were allowed,

Re: Best practices for merging?

2016-02-02 Thread Brandon Allbery
On Tue, Feb 2, 2016 at 8:54 AM, Alexander Berntsen wrote: > It then becomes comparatively trivial to hunt > down the error by bisecting ten 25 line commits, when the converse is > figuring out a 250+ lines patch. > Only if it builds and passes tests across all ten commits.

Re: "Excuse me, I think this i my stop..." - Resigning from the Platform

2016-02-22 Thread Brandon Allbery
On Mon, Feb 22, 2016 at 11:15 AM, Simon Peyton Jones wrote: > But then I received it again, yesterday. The very same message! I have > no idea why. Email is a Mysterious Medium. I think they restarted the mailing list server; I got that message and a handful of other

Re: Unicode, strings, and Show

2016-03-30 Thread Brandon Allbery
On Wed, Mar 30, 2016 at 9:16 PM, Manuel M T Chakravarty < c...@justtesting.org> wrote: > Thank you for all the replies and especially pointing to this ticket. > > I think, the discussion on this ticket is actually misleading and there is > a simple solution, which I added as a comment. > That is

Re: Unicode, strings, and Show

2016-03-30 Thread Brandon Allbery
On Wed, Mar 30, 2016 at 9:50 PM, Manuel M T Chakravarty < c...@justtesting.org> wrote: > Firstly, we have > > isPrint :: Char -> Bool > > Are you saying that this type is wrong? > > Secondly, how often do you feed the output of ’show’ to ’read’ in another > locale versus how often is everybody

Re: Specialized type hints

2016-03-03 Thread Brandon Allbery
On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel wrote: > On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote: > > I'd like to see how warm people would be to catching GHC's type error > > quality up a bit. > > > > I did a write-up on a confusion a reader of our book had: > > > >

better improvement for nm-classic message?

2016-04-27 Thread Brandon Allbery
It's slower the first time it is run but should be fast afterward unless you switch active Xcode toolchains, as xcrun caches the result. --with-nm=$(xcrun --find nm-classic) -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com

Re: GHC 8.0.1-rc4 source tarball availability

2016-04-23 Thread Brandon Allbery
On Sat, Apr 23, 2016 at 8:50 PM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > It *seemed* to work fine even with that lib no longer at that path, but > famous last words. It does seem that it doesn't do anything It's only used when it needs to do something for which the CPU lacks

Re: GHC 8.0.1-rc4 source tarball availability

2016-04-23 Thread Brandon Allbery
On Sat, Apr 23, 2016 at 8:05 PM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > and I *believe* but could be wrong that its better to have it point > to /usr/lib/libgcc_s.1.dylib or something? > otoh, the otool -L output of those respective things are VERY different > People will need

Re: Draft 8.0 Mac build directions

2016-05-03 Thread Brandon Allbery
On Tue, May 3, 2016 at 11:32 AM, Ben Gamari wrote: > About font installation: do you know any any way to accomplish this > at the terminal? > Just copy them to the appropriate directory (/Library/Fonts or ~/Library/Fonts); fontd will see and register them automatically.

Re: macOS 10.12

2016-07-28 Thread Brandon Allbery
fwiw I suspect this is http://git.haskell.org/ghc.git/commit/a0f1809742160ca0c07778f91f3e2a8ea147c0a4 On Thu, Jul 28, 2016 at 5:13 PM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > Could you share your error messages ? > > > On Wednesday, July 27, 2016, Manuel M T Chakravarty

Re: Is Safe Haskell intended to allow segfaults?

2016-08-09 Thread Brandon Allbery
On Tue, Aug 9, 2016 at 4:19 PM, Edward Z. Yang wrote: > If you can execute subprocesses, you could always spawn gdb to > attach via ptrace() to the parent process and then poke around > memory. > Don't even need that if you're just talking segfaults, you can always spawn a

Re: Request for feedback: deriving strategies syntax

2016-08-03 Thread Brandon Allbery
On Wed, Aug 3, 2016 at 10:52 PM, Richard Eisenberg wrote: > I do not understand "not portable" here. Do you mean that some > architectures don't support TH? Sounded to me like they're targeting the standards path, which means not tying it to something that's fairly

Re: Is Safe Haskell intended to allow segfaults?

2016-08-08 Thread Brandon Allbery
On Mon, Aug 8, 2016 at 1:27 PM, Ryan Newton wrote: > As usual? So it is ok to segfault GHC? Elsewhere it says "in the safe > language you can trust the types", and I'd always assumed that meant Safe > Haskell is a type safe language, even in the IO fragment. Pretty sure

Re: Using stringize and string concatenation in ghc preprocessing

2016-08-20 Thread Brandon Allbery
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: cabal

2016-09-05 Thread Brandon Allbery
On Mon, Sep 5, 2016 at 12:40 PM, Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote: > bash$ which cabal > > /home/simonpj/.cabal/bin/cabal > > Maybe I need 1.24. Which claims to be installed. But WHERE is it > installed? > > Try "type cabal". "which" has a nasty tendency to show you

Re: Allow top-level shadowing for imported names?

2016-10-05 Thread Brandon Allbery
On Wed, Oct 5, 2016 at 10:02 PM, Michael Sloan wrote: > What if instead we re-framed this as a "top-level where clause", like this: > > main :: IO () > main = putStrLn ("Hi" <> "There") > > other-function :: IO () > other-function = putStrLn ("I can " <> "also use it") > > --

Re: Notes from Ben's "contribute to ghc" discussion

2016-09-24 Thread Brandon Allbery
On Sat, Sep 24, 2016 at 8:38 PM, Christopher Allen wrote: > This is so short-sighted and wrong that I don't think there's any > point in my saying more. You've made it clear you don't care. > And --- note that I am not a ghc developer --- have made it clear that you do not

Re: Notes from Ben's "contribute to ghc" discussion

2016-09-24 Thread Brandon Allbery
On Sat, Sep 24, 2016 at 9:05 PM, Michael Sloan wrote: > As a side observer, I find Christopher's comments to be spot on. They're missing quite a bit, actually. Like how Rust had a bunch of contributors even before they started, and Mozilla Corp. backing them. Rust's solution

Re: Notes from Ben's "contribute to ghc" discussion

2016-09-24 Thread Brandon Allbery
On Sat, Sep 24, 2016 at 9:44 PM, Michael Sloan wrote: > It is irrelevant why Rust has an advantage. Lets please emulate their > successful strategies instead of in-fighting. > Does that include having Mozilla Corp. backing them? What is your suggestion for this? I understand

Re: Notes from Ben's "contribute to ghc" discussion

2016-09-24 Thread Brandon Allbery
On Sat, Sep 24, 2016 at 8:17 PM, Christopher Allen wrote: > They don't rely on bare Github, they use bots to automate and add > structure in the ways you're trying to wring out of Phabricator. > Other way around: they, and pretty much every large project, are forced to

Re: Notes from Ben's "contribute to ghc" discussion

2016-09-24 Thread Brandon Allbery
On Sat, Sep 24, 2016 at 9:08 PM, Manuel M T Chakravarty < c...@justtesting.org> wrote: > Why are you so hostile to Chris? I don’t think that this is an appropriate > way to treat somebody who is making a suggestion in good faith. It may be in good faith. but it's not in good sense. There is a

Re: Create a ghc-simple-patch-propose list? Re: Notes from Ben's "contribute to ghc" discussion

2016-10-01 Thread Brandon Allbery
On Sat, Oct 1, 2016 at 4:47 PM, Simon Marlow wrote: > A nice trick for dealing with stacked diffs in Phabricator is to use "git > rebase -i" to modify diffs in the middle of the stack. You can also insert > "x arc diff" between lines to automatically update later diffs on >

Re: [ANNOUNCE] GHC 8.0.2 release candidate 1

2016-11-27 Thread Brandon Allbery
On Sun, Nov 27, 2016 at 8:30 AM, Tuncer Ayaz wrote: > However, what's changed from 8.0.1 to 8.0.2 to trigger this? I mean, > is a point release supposed to do this? I would expect 8.0 to 8.1 to > break, but find it surprising x.0.1 to x.0.2 would as well. >

  1   2   >