Re: Windows build broken (again)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: vectorisation code?

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

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)

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)

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

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

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

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

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

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 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

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

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

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

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

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

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

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

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

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?

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?

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?

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?

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

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

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?

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?

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?

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

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

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

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

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?

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

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

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

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

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?

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

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?

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

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

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?

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

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

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

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

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

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

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

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. >

Re: Reading floating point

On Tue, Oct 11, 2016 at 10:41 AM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > Could you elaborate or point me to where this philosophy is articulated in > commentary in base or in the language standards ?

Re: Please don’t break travis

On Fri, Dec 9, 2016 at 3:56 PM, Ben Gamari wrote: > I seem to recall that this isn't the first time that this has happened. > Given that our testsuite is only growing, what is the long-term plan for > managing this? > Consider running the test suite as a separate job? --

Re: Attempt at a real world benchmark

On Fri, Dec 9, 2016 at 9:50 AM, Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote: > The big issue is (a) design and implementation effort, and (b) dealing > with the privacy issues. And (c) not everyone is going to upgrade their ghc, even if you backport the telemetry to older

Re: Help needed: Restrictions of proc-notation with RebindableSyntax

On Wed, Dec 21, 2016 at 12:15 AM, Edward Kmett wrote: > > Given that little new code seems to be being written with Arrows in mind, > while some older code makes heavy use of it (hxt, etc.), refactoring the > arrow hierarchy is kind of a hard sell. It is by no means impossible,

Re: [Haskell-cafe] many haskell's mails are detected as spam on gmail

On Tue, Dec 27, 2016 at 5:11 AM, Niklas Hambüchen wrote: > Despite Google's public claims to the contrary, I have found the Gmail > spam filter not to work too reliably > I think it depends on your use case (and it's rather indicative of the core problem of spam detection that spam

Re: LLVM calling convention for AVX2 and AVX512 registers

On Wed, Mar 15, 2017 at 5:44 PM, Ben Gamari wrote: > Carter Schonwald writes: > > > No matter *how* ghc ultimately bundles simd for high level > > programming, it *will* have to bottom out into these target specific > > operations at code gen

Re: GHC 8.2.1-rc1 source tarball availability

On Wed, Apr 5, 2017 at 9:17 PM, George Colpitts wrote: > /Users/gcolpitts/Downloads/ghc-8.2.0.20170404/libffi > I don't think you want to be in the libffi subdirectory; any test suite there would be specific to libffi and require you to follow its directions, not the

Re: [ANNOUNCE] GHC tarballs for Windows 10 Creators Update

On Sat, Apr 15, 2017 at 10:06 AM, Sven Panne wrote: > I heavily rely on "stack" to install GHC version, so what is the intended > way of telling "stack setup" about the suffix? If I understand things > correctly, "stack setup" will install non-working versions on Windows

Re: 8.2.1: Ord TyCon is gone?

On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari wrote: > Hmm. I am unable to reproduce this, > > $ ghci > λ> import Type.Reflection > λ> let tc = typeRepTyCon (typeRep @Int) > λ> tc == tc > True > > Does that work for you? > Maybe I'm missing something,

Re: Which stable GHC release is expected to have support for linear types?

On Sun, Jul 9, 2017 at 4:35 PM, Wolfgang Jeltsch wrote: > I got the following error message: > > > fatal: Not a git repository: ${BASEDIR}/ghc/.git/modules/. > arc-linters/arcanist-external-json-linter > > I guess this is because my local directory is not named “ghc”,

Re: Which stable GHC release is expected to have support for linear types?

On Wed, Jul 12, 2017 at 4:11 PM, Wolfgang Jeltsch wrote: > I had thought about this possibility already, but then concluded that this > was not the case, since types of the form a -o b were not supported. > However, when looking at the diffs, I discovered that at the

Re: Which stable GHC release is expected to have support for linear types?

On Sat, Jul 15, 2017 at 4:57 AM, Bardur Arantsson wrote: > Maybe, but it seems a bit fragile to me... > > What about -*? At least there's no ambiguity there. > As previously stated: "Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the latter resembling the

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: Alex install failure

On Fri, Aug 18, 2017 at 8:04 AM, Ben Gamari wrote: > Simon Peyton Jones via ghc-devs writes: > > I'm trying to update my installation of alex, on Unix (Ubuntu). But I > get the dump below > > It's complaining about a lock file being an invalid

Re: Can I get the internal name of a package at runtime?

On Sat, Oct 14, 2017 at 3:59 PM, MarLinn wrote: > That sounds reasonable, but also like there *can not be* a way to obtain > that hash at runtime. And therefore, no way to discover the true package > name. > I can think of a hacky way: make sure the symbol table is still

Re: Can I get the internal name of a package at runtime?

the inlinings from the .hi file anyway. If you get multiple matches, you could warn about it but because you can't use the .hi inlinings in that context it won't matter which one you load. On Sat, Oct 14, 2017 at 4:19 PM, Brandon Allbery <allber...@gmail.com> wrote: > On Sat, Oct 14, 2017 at 3:59 PM

Re: Can I get the internal name of a package at runtime?

On Sat, Oct 14, 2017 at 12:48 PM, MarLinn wrote: > So the "actual" package name seems to be "Plugin-0.0.0.0-2QaFQQzYhnKJSP > RXA7VtPe". > That leaves the random(?) characters behind the version number to be > explained. > ABI hash of that specific package build, which is

Re: Compiling natively GHC for ARMv7l softabi

On Tue, Oct 17, 2017 at 12:41 AM, wrote: > utils/ghc-cabal/ghc.mk:48: recipe for target > 'utils/ghc-cabal/dist/build/tmp/ghc-cabal' > failed > make[1]: *** [utils/ghc-cabal/dist/build/tmp/ghc-cabal] Killed > The OOM killer got you. Add swap if you can. -- brandon s

Re: Ignoring ANN Module "HLint: ..."

On Sun, Sep 24, 2017 at 1:44 AM, Moritz Angermann < moritz.angerm...@gmail.com> wrote: > can we detect annotations like `{-# ANN module "HLint: ignore Reduce > duplication" #-}` easily? > Right now this will result (without -fexternal-interpreter or a stage2 > compiler) in > > Ignoring ANN

Re: Ignoring ANN Module "HLint: ..."

On Sun, Sep 24, 2017 at 1:51 AM, Moritz Angermann < moritz.angerm...@gmail.com> wrote: > > > As I understand it, ANNotations are intended for use with ghc plugins; > hlint's use of them is not *quite* an abuse, since it is relying on > haskell-src-exts handling of them rather than ghc's. > > I did

Re: Alex install failure

On Mon, Aug 28, 2017 at 1:42 PM, Ben Gamari wrote: > Hmm, interesting. So it seems almost certain at this point that you are > not running the lock daemon. In contrast, on an NFSv3 client that I > setup I see, > This is moderately likely to be common: many people

Re: Can't push to haddock

On Tue, Dec 19, 2017 at 4:30 AM, Sven Panne wrote: > I think this is a question of perspective: Having the master repository on > GitHub doesn't mean you are in immediate danger or lose your "family > jewels". IMHO it's quite the contrary: I'm e.g. sure that in case that >

Re: Dynamically choosing the main function

On Mon, Nov 13, 2017 at 2:46 AM, Harendra Kumar wrote: > Also, the symbols are anyway exposed to the users, we just ask the users > to not look at those. > Only if you built a dynamic executable, or built for debugging. Default static executables are stripped. --

Re: Dynamically choosing the main function

On Sun, Nov 12, 2017 at 11:18 AM, Harendra Kumar wrote: > GHC allows choosing a main function at link time using the "-main-is" > option. I was wondering if there is a possibility to choose the main > function at runtime. Or even better, if something equivalent to "ghc

Re: Long standing annoying issue in ghci

On Tue, Dec 5, 2017 at 12:36 PM, cheater00 cheater00 wrote: > without color coding the prompt so I can't really turn it off. It > seems like a simple arithmetic issue somewhere in the readline > implementation. > It's not arithmetic except in the sense that it's not doing

Re: How to load & parse an HI (interface) file?

d attempts to change that have mostly > failed). > > Are you cautioning against using the GHC API (as opposed to the > --show-iface command line interface) > or using HI files themselves? > > -- Saurabh. > > > On Sun, Dec 3, 2017 at 2:04 AM, Brandon Allbery <allber...@g

Re: How to load & parse an HI (interface) file?

I would be cautious about using the ghc-api hi file interfaces; hi files turn out to interact with a lot of low-level parts in complex ways (even to the extent that they're a large part of why ghc can't parallelize builds itself and attempts to change that have mostly failed). But if you must do

Re: Q: Types in GADT pattern match

On Mon, Oct 30, 2017 at 5:14 AM, Gabor Greif wrote: > My original question, though, is not answered yet, namely why not to > detect that we are about to pattern match on a GADT constructor and > allow the programmer to capture the *refined* type with her type > annotation. Sure

Re: Relocatable dist

On Tue, Oct 24, 2017 at 5:02 AM, Moritz Angermann < moritz.angerm...@gmail.com> wrote: > However, I am now again at the point where I start hacking on the build > system, while Hadrian is imminent. And this is quite depressing > Realistically, while Hadrian going into the tree may be imminent,

Re: Relocatable dist

t; 8.4. Adding new functionality for cross-compilation to the old build system > is frustrating. > > Manuel > > Brandon Allbery <allber...@gmail.com>: > > On Tue, Oct 24, 2017 at 5:02 AM, Moritz Angermann < > moritz.angerm...@gmail.com> wrote: > >

Re: pattern signatures

Further complicated by the fact that that form used to be called a "pattern signature" with accompanying extension, until that was folded into ScopedTypeVariables extension. On Fri, Jan 5, 2018 at 9:41 AM, Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote: > Ah yes. I think we

Re: rolling span and groupBy for lists

Why do I suddenly catch a whiff of https://xkcd.com/927/ ? On Mon, Feb 5, 2018 at 1:13 PM, Harendra Kumar wrote: > According to hayoo there seem to be 7 different implementations of this > same function. Yours is 8th and mine is 9th and other people may have more > not

Re: [Haskell-cafe] rolling span and groupBy for lists

We have two groups of "leaders", with partially opposing goals. This is a disaster looking for an excuse to happen. On Mon, Feb 5, 2018 at 2:29 PM, Harendra Kumar wrote: > On 6 February 2018 at 00:33, Sergiu Ivanov wrote: > >> Thus quoth Harendra

  1   2   >