Re: Fat interface files?

Hi Ben, sorry about the late response. It looks like you've found https://gitlab.haskell.org/ghc/ghc/-/issues/10871 which I think pretty comprehensively discusses the issue as it is. Given the elapsed time it would probably make sense to reimplement from scratch; I don't recall this being too

Re: How to use Data.Compact.Serialize

Yes this looks good to me. It is NOT necessary to statically link libc, since the only pointers embedded in compact regions are only ever info table pointers, e.g., stuff that GHC generated, not arbitrary functions in libc. Edward Excerpts from Christopher Done's message of 2018-12-19 10:31:28

RE: abi-depends field

The unexpected failures are benign; they are what you'd expect with the fix. I recommend accepting all of the changes. Edward Excerpts from Ben Gamari's message of 2018-05-21 09:09:13 -0400: > Simon Peyton Jones via ghc-devs writes: > > > Hello, anyone? > > At the moment

Re: Why does the RTS run GC right before shutting down?

I believe it's so that we can run finalizers before shutdown. Excerpts from Ömer Sinan Ağacan's message of 2018-04-06 16:49:41 +0300: > Hi, > > I'm wondering why we run GC in this line: > > https://github.com/ghc/ghc/blob/master/rts/Schedule.c#L2670 > > I went back in commit history using git

Re: Family instance consistency

Thanks for bringing this to my attention; I'll take a look. Excerpts from GHCindex 3a6a4070d2..0fad1da50b 100644's message of 2017-10-27 23:14:13 +: > Edward > Could you possibly take a look at #14396? It's going to bite us soon, as > Alan's Trees That Grow patch lands (see the branch

Re: Is stage-1 sufficient to run nofib

Yes, but you still need to build the libraries, so the speed up will not be as much as you might hope. Excerpts from Joachim Breitner's message of 2017-10-22 22:19:03 -0400: > Hi, > > I guess I could just try it, but maybe someone knows it, or knows what > would go wrong… > > If I run nofib

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

Hi MarLinn, The mangling name is "z-encoded". It is documented here: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/SymbolNames Edward Excerpts from MarLinn's message of 2017-10-14 17:35:28 +0200: > Hi. > > I'm experimenting with plug-ins right now. I did manage to dynamically >

Re: 8.2.1: Ord TyCon is gone?

Sorry about being late to the conversation, but if you need a map from Type to something, go look at TypeMap in the TrieMap module. Edward Excerpts from Levent Erkok's message of 2017-07-28 23:12:32 -0700: > I'm trying to port some plugin code from GHC 8.0.2 to GHC 8.2.1; alas I'm > getting an

Re: Reinstallable lib:ghc (was: [core libraries] Upgradeable base (smallest step forward))

Reinstalled GHC should be completely ABI compatible. This should actually not be difficult to achieve, since we already rely on this in the GHC build system: we assume that ghc-stage1 generated hi files can be compatibly read and used by ghc-stage2. Excerpts from Joachim Breitner's message of

Re: Type class instances in scope

ckCheck a package module`. > I think that means that it's not locally defined, but rather part of a > package that I'm using. > Unfortunately that means that I don't really understand how I can load > it to find the instances. > > Would you please hint me at the next step? >

Re: Type class instances in scope

Excerpts from Tom Sydney Kerckhove's message of 2017-05-19 11:05:17 +0200: > Oh, that's annoying. > I have a feeling there is room for an optimisation here. > ... or maybe this was already an optimisation, I don't really know. It's an optimization. Without, we would have to eagerly load every

Re: Type class instances in scope

Hi Tom, The problem is that GHC lazily loads non-orphan instances, so they won't be in the environment until you load the interface which would have caused the instance to come into scope. I'm not sure exactly what you are actually trying to do. But if you really need all instances, you will

Re: GHC 8.2.1 status

I updated the wiki page! Excerpts from Ben Gamari's message of 2017-03-27 12:00:19 -0400: > George Colpitts writes: > > > Thanks Ben. When you have a chance it would be good to update the status > > page wrt

Re: Why are there no Show instances for internal types

We can't add Show instances for these types because many types below them, e.g., Type, are cyclic, and would result in infinite output. Perhaps we can add a new type class which a) faithfully represents the Haskell syntax, but b) can deal with cyclic data. I think that's something people would

Re: Adding a module

That's correct: if you add a module which is (indirectly) imported by DynFlags, you have to tell ghc.mk about it so that the Windows DLL splitting hack continues to work. Edward Excerpts from Simon Peyton Jones via ghc-devs's message of 2017-03-16 17:49:43 +: > If you add a module to GHC, I

Re: Is there a way to avoid time limit when using travis?

Even with a paid plan, you only have 120 min to run your build. That might be enough in your case but in Cabal's Travis project I've started playing tricks where I upload the build products somewhere, and then redownload them in a new job before running tests. Edward Excerpts from Takenobu

Re: GHC API 7.10 -> 8.0.1 (unusable due to missing or recursive dependencies)

Edward Excerpts from A.M.'s message of 2017-01-07 10:54:56 -0500: > On 01/06/2017 10:37 PM, Edward Z. Yang wrote: > > Hello A.M., > > > > In 8.0.1 package databases must be specified in the correct order, > > whereas in 7.10 they could be done in any order. This pro

Re: Trac to Phabricator (Maniphest) migration prototype

. I would also like a more > compact view but I feel this style is the prevailing modern web dev > trend. Well, this is something we can fix with a little CSS :) Edward > Thanks for your comments. > > Matt > > On Tue, Jan 3, 2017 at 5:21 PM, Edward Z. Yang <ezy...@mit

Re: Trac to Phabricator (Maniphest) migration prototype

Hi Matthew, Thanks for doing the work for setting up this prototype, it definitely helps in making an informed decision about the switch. Some comments: 1. In your original email, you stated that many of the custom fields were going to be replaced with Phabricator "projects" (their

Re: I have Aphronted Phab

Hi Richard, The last time this happened to me, it was because I was accessing Phabricator on http:// rather than https://. Tkae a look. Edward Excerpts from Richard Eisenberg's message of 2016-12-23 21:46:10 -0500: > Hi Austin, Ben, > > In trying to write a comment on Phab, I got this: > >

Re: Confused about the sub-modules

I *just* pushed a Cabal submodule update, so Erik probably hadn't gotten it. Excerpts from Ben Gamari's message of 2016-12-21 14:14:37 -0500: > Erik de Castro Lopo <mle...@mega-nerd.com> writes: > > > Edward Z. Yang wrote: > > > >> Not any more. The commit jus

Re: Confused about the sub-modules

GHC master with a submodule update. > > I do not know if that convention is followed on any of the other libraries. > > Alan > > On Wed, Dec 21, 2016 at 8:48 AM, Edward Z. Yang <ezy...@mit.edu> wrote: > > > Once the commit is upstream, I just checkout a n

Re: Confused about the sub-modules

Once the commit is upstream, I just checkout a newer commit from master and then commit it as a submodule update. Maybe it's wrong but no one has ever told me otherwise. Around release time the release manager makes sure all the libraries correspond to actual releases. Edward Excerpts from Erik

Re: haskell.org not sending intermediate certs

t; wrote: > > > I noticed this as well, since my work VPN does fairly strict certificate > > checking and didn't allow me to connect to any haskell.org urls due to > > this. > > > > I'm not sure about the right list, I've added ad...@haskell.org to the CC > >

Re: Patch for time repository

ry, but I do not seem to have permissions. > Upstream has already taken the fix but the version we currently > have in the repo is quite a bit older than upstream. > > Can someone do it for me / give me bits? Thanks. > > Edward > > commit 44c23839f964592946c889626f8acbd1f4

haskell.org not sending intermediate certs

See: https://www.sslshopper.com/ssl-checker.html#hostname=www.haskell.org This is causing curl to fail to download it: ezyang@sabre:~/Downloads$ curl https://www.haskell.org/cabal/release/cabal-install-1.24.0.0/cabal-install-1.24.0.0-x86_64-unknown-mingw32.zip curl: (60) server certificate

Patch for time repository

. Edward commit 44c23839f964592946c889626f8acbd1f4f72e55 Author: Edward Z. Yang <ezy...@cs.stanford.edu> Date: Sat Dec 17 20:05:11 2016 -0800 Remove useless internal library version bounds. These bounds never do anything, and in Cabal HEAD cause errors which cause GHC's

Re: Making (useful subsets of) bytecode portable between targets

Excerpts from Shea Levy's message of 2016-11-25 10:30:25 -0500: > > The right thing is to have a clean separation between runtime > > imports and compile-time imports. Perhaps we just annotate some imports to > > say they aren't needed at compile-time for running the TH code. but then > > we

Re: Making (useful subsets of) bytecode portable between targets

Excerpts from Ben Gamari's message of 2016-11-21 16:06:14 -0500: > > 3. Teach cabal to compile dependencies and modules for the build and > >target when cross-compiling and TH is used > > You'll need to speak with the Cabal folks about this. However, it's > probably safe to ignore this for

Re: Tool for minimizing examples

I asked about this on Twitter a while back and John Regehr suggested that we give C-reduce a try. I have not yet but if you try it out I'm quite curious to see what happens. Edward Excerpts from Eric Crockett's message of 2016-10-26

Re: Allow top-level shadowing for imported names?

There is another options: names from local modules (same package) shadow names from external packages. But it is not obvious to me that this is a good idea. Edward Excerpts from Herbert Valerio Riedel's message of 2016-10-04 13:50:58 +0200: > Hi, > > On 2016-10-04 at 13:12:54 +0200, Yuras

Re: Allow top-level shadowing for imported names?

I don't see why not. (But then again I wasn't around for Haskell98!) Edward Excerpts from Herbert Valerio Riedel's message of 2016-10-03 10:29:06 +0200: > Hi *, > > I seem to recall this was already suggested in the past, but I can't > seem to find it in the archives. For simplicity I'll

Re: Getting rid of -XImpredicativeTypes

A ghc-proposals is a good way to solicit feedback and publicize more widely. At least a proposal is worth it (and I am in favor of removing ImpredicativeTypes, FWIW). Edward Excerpts from Simon Peyton Jones via ghc-devs's message of 2016-09-25 18:05:38 +: > Friends > > GHC has a flag

Re: building ghc-8.0 branch on Win10

This is a dumb build system problem. One way to hack around it is edit libraries/Cabal/Cabal/Cabal.cabal and remove the spaces before 1.25.0.0. I thought I fixed this in HEAD so there may be a patch you could backport too. Edward Excerpts from Josh Berman's message of 2016-09-19 15:39:15

Re: Tooling-friendly ModSummary

Hello Alan, SPJ and I both think that GhcMake is well overdue for a rewrite. But it's not altogether obvious what the rewrite should look like. I've made some remarks here: https://gist.github.com/ezyang/50004e0f842eec5848acad5cf1c22240 I'm OK with small, incremental changes that make tooling's

Re: Build GHC on Windows using Hadrian and Stack

Nice work! Edward Excerpts from Andrey Mokhov's message of 2016-09-02 02:45:58 +: > Hi all, > > Summary: Building GHC on Windows using Hadrian and Stack got even simpler - > see https://github.com/snowleopard/hadrian/blob/master/doc/windows.md. > > > To build GHC on Windows you usually

Phabricator diffs not viewable by non-logged in users

For example, if I am not logged in (try an incognito/private browsing session), https://phabricator.haskell.org/D2501 reports an error. Is this intentional? Seems poor, and also the diff is labeled as Public in the UI. I found this quite surprising. Edward

Re: Rewrapping with simple bidirectional pattern synonyms

I filed a ticket for precisely this: https://ghc.haskell.org/trac/ghc/ticket/12203 Edward Excerpts from David Feuer's message of 2016-08-24 18:11:16 -0400: > I'm trying to write a bidirectional pattern synonym which is morally > simple, but as far as I can tell there's no way to write it as

Re: Question about initializing the run-time system

I looked at RtsStartup.c but I didn't see any code that was obviously enforcing this (have you tried it?)rts/RtsStartup.c However, at a guess, I bet the reason is related to the reason why we can't have multiple copies of the RTS in the same memory address space: the way we handle CAFs scribbles

Landing Backpack in HEAD

Hello friends, I'm hoping to land Backpack (the patch is two years in the making now!) for GHC 8.2, even though 8.2 is intended to be a stabilization and performance release. In this email, I will make the case that the Backpack patch is relatively self-contained and will not affect non-Backpack

Re: Is Safe Haskell intended to allow segfaults?

If you can execute subprocesses, you could always spawn gdb to attach via ptrace() to the parent process and then poke around memory. Yes this is a "dumb" example but I think it goes to show how important it is to correctly characterize what the threat model is. A "no-segfault" fragment of

Re: Is Safe Haskell intended to allow segfaults?

ding "Safe" to say something about IO. >3. Leave safe Haskell as it is. > > (2) sounds a bit clunky to me, and I favor (1) most of all. > > Best, > -Ryan > > [1] 17M lines on hackage total, hard to count how much is in an IO monad or > related monad. >

Re: Improving cost center reports to show residency?

Hello Omer, I don't quite understand; is +RTS -hc what you want? That will output a heap profile per cost center, which will give you residency. Is the problem that you need a heap profile every minor GC rather than major GC (e.g. something like https://ghc.haskell.org/trac/ghc/ticket/8504 ?)

Re: Is Safe Haskell intended to allow segfaults?

Hello Ryan, The guarantee that Safe Haskell gives with regards to IO is a little subtle and is mentioned in Section 3.1 of the paper, and detailed in Section 5.1. Essentially, to use Safe Haskell, you are responsible for defining the type at which untrusted code is to be called. Using an

FINAL CALL FOR TALKS (Aug 8 deadline): Haskell Implementors Workshop 2016, Sep 24, Nara

Deadline is in a week! Submit your talks! Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2016 Nara, Japan, 24 September, 2016 Co-located

Re: T11758 testcase help needed

I am not sure if this will work, but how about dumping the assembly and looking for sign extension? C-- might be easier! Excerpts from Alex Dzyoba's message of 2016-07-09 08:25:39 -0400: > Hi, all! > > I was working on #11758, which is about dropping binutils<2.17 hack, and while > it was

Re: Interruptible exception wormholes kill modularity

Excerpts from Yuras Shumovich's message of 2016-07-02 09:06:59 -0400: > On Sat, 2016-07-02 at 00:49 -0400, Edward Z. Yang wrote: > > > > P.P.S. I have some speculations about using uninterruptibleMask more > > frequently: it seems to me that there ought to be a variant of &g

Re: Interruptible exception wormholes kill modularity

Excerpts from Simon Marlow's message of 2016-07-02 05:58:14 -0400: > > Claim 1: Here is some code which reimplements 'unblock': > > > > import Control.Exception > > import Control.Concurrent > > import Control.Concurrent.MVar > > > > unblock :: IO a -> IO a > > unblock io = do

Interruptible exception wormholes kill modularity

In 2010, in the thread "Asynchronous exception wormholes kill modularity" [1], Bas van Dijk observed that 'unblock :: IO a -> IO a' broke modularity, as the sequence of calls 'block . block . unblock $ io' would result in 'io' being run with asynchronous exceptions unblocked, despite the outer

Re: Template Haskell determinism

message of 2016-06-29 13:41:13 -0400: > No, NameU and NameL both lack package key / package id. > > -Michael > > On Wed, Jun 29, 2016 at 7:34 AM, Edward Z. Yang <ezy...@mit.edu> wrote: > > No, nameBase is not the right thing to use here; you also need the > > unit ID

Re: Linker.c broken

I'm guessing it's: commit 6377757918c1e7f63638d6f258cad8d5f02bb6a7 Author: Simon Marlow Date: Wed Jun 29 21:50:18 2016 +0100 Linker: some extra debugging / logging which added ghci_find. Edward Excerpts from Simon Peyton Jones via ghc-devs's message of 2016-07-01

topHandler03 failing now

Hey thomie, You recently changed topHandler03 to not ignore output. Unfortunately, on my Arch Linux box this causes the test to fail: --- ./topHandler03.run/topHandler03.stderr.normalised 2016-06-30 10:30:56.423442132 -0700 +++ ./topHandler03.run/topHandler03.run.stderr.normalised

Re: Template Haskell determinism

alOrd could be added, but it'd be > inconvenient to use with existing Ord based containers. > > -Michael > > On Sun, Jun 5, 2016 at 10:15 AM, Edward Z. Yang <ezy...@mit.edu> wrote: > > > I must admit, I am a bit confused by this discussion. > > > > It is t

Re: Using the GHC API to write an interpreter

I am not sure I entirely understand your proposal, but a good way of finding out if it works is giving it a try. Excerpts from Christopher Done's message of 2016-06-26 06:28:55 -0400: > I've been pondering how feasible it would be to: > > * Compile in stages a module with the byte code linker >

Re: Require -fexternal-interpreter support for future TH changes?

Hello Simon, I have no exception to having it be default and dropping the special case support for building profiled/dynamic so that TH works. But I don't think support for loading code in-process for GHC should be dropped, c.f. Manuel's email

Re: Optimizing "counting" GADTs

Excerpts from David Feuer's message of 2016-06-18 19:47:54 -0700: > I would think the provided equalities could be constructed in a view > pattern, possibly using unsafeCoerce. Yes, this does work. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE

Call for talks: Haskell Implementors Workshop 2016, Sep 24 (FIXED), Nara

Stegeman (ghcjs) * Niki Vazou (UCSD) * Stephanie Weirich (University of Pennsylvania) * Edward Z. Yang - chair (Stanford University) ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman

Call for talks: Haskell Implementors Workshop 2016, Aug 24, Nara

) * Stephanie Weirich (University of Pennsylvania) * Edward Z. Yang - chair (Stanford University) ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Template Haskell determinism

I must admit, I am a bit confused by this discussion. It is true that every Name is associated with a Unique. But you don't need the Unique to equality/ordering tests; the names also contain enough (stable) information for stable comparisons of that sort. So why don't we expose that instead of

Re: HEADS UP: running tests in /tmp and the `extra_files` setup function

Hello Thomas, Is there a way to change where the temporary directory is made? The test suite can take a lot of disk space and some of us would prefer to store the test output on a different partition. Thanks, Edward Excerpts from Thomas Miedema's message of 2016-05-17 09:11:53 -0700: > Hello

Re: New wiki page about tying the knot in GHC

Yep, updated, thanks. Edward Excerpts from Ben Gamari's message of 2016-05-17 00:16:55 -0700: > "Edward Z. Yang" <ezy...@mit.edu> writes: > > > Hello all, > > > > I've written a new wiki page about how knot tying works in > > GHC: > > >

New wiki page about tying the knot in GHC

Hello all, I've written a new wiki page about how knot tying works in GHC: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TyingTheKnot Please let me know if anything is unclear and I'll try to revise it for more clarity. Edward ___

Phabricator not sending emails

As far as I can tell, Phabricator is not sending emails. I noticed when some of my diffs updated but I didn't get any emails, and doublechecked by asking for a password reset email. Edward ___ ghc-devs mailing list ghc-devs@haskell.org

Stop rejecting Summary: Signed-off-by: ... OR patch Phabricator

Hey guys, Currently the commit hooks reject commit messages that look like: Summary: Signed-off-by: Edward Z. Yang <ezy...@cs.stanford.edu> Unfortunately, if I do a one line commit message with -s, Phabricator will automatically reformat my message to have this. This is dumb.

RE: Harbourmaster is failing

260a5648c299636a94b12b9b97bf9743b0a1496d introduced the #import. Probably should be an #include. Edward Excerpts from Simon Peyton Jones's message of 2016-05-10 01:50:41 -0700: > Bother. This is killing my build. I had to switch of –Werror. > Anyone know what is going on? > Simon > > > make

Re: Determining if an instance is provided by the environment

ven' constraints. My guess is that it doesn't matter? Edward Excerpts from David Fox's message of 2016-05-06 17:06:41 -0700: > Is there a way to connect this to template-haskell or haskell-src-exts code? > > On Fri, May 6, 2016 at 4:40 PM, Edward Z. Yang <ezy...@mit.edu> wrote: > >

RE: Determining if an instance is provided by the environment

error reporting. > > Simon > > | -Original Message- > | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of > | Edward Z. Yang > | Sent: 06 May 2016 00:21 > | To: ghc-devs <ghc-devs@haskell.org> > | Subject: Determining if an

Determining if an instance is provided by the environment

Hello all, Suppose I have a ClsInst from typechecking the following instance declaration: instance Show [Char] -- i.e. String I'd now like to answer the question: "Is this instance 'provided' by the instance environment?" For example, this instance is provided given that I have these two

Re: GHC HEAD compile failure at ghctags: "missing: Cabal >=1.25 && <1.27"

Don't forget to "git submodule update" Edward Excerpts from Conal Elliott's message of 2016-03-30 10:02:20 -0700: > I'm trying to recompile GHC (via GHC 7.10.3) from freshly git-pulled HEAD, > and "make" keeps dying at ghctags: > > Configuring ghctags-0.1... > ghc-cabal: At least the

Re: Initial compile time benchmarks

This ticket may be of interest: https://ghc.haskell.org/trac/ghc/ticket/9630 Deriving costs a lot and we just need someone to figure out what's going on. Edward Excerpts from Michael Sloan's message of 2016-03-29 15:23:50 -0700: > Great! Thanks for y'all putting effort towards performance. It

Re: Fwd: Compiling Core Haskell using GHC API

t; module B (foo) where > > foo :: a -> a > > foo = id > > bar :: Eq a => a -> a -> Bool > > bar = (==) > > > *getCore *and *compile* are separated to make sure, no flags set by the > first function were used by the second one. > *getLin

Re: Fwd: Is anything being done to remedy the soul crushing compile times of GHC?

Another large culprit for performance is that the fact that ghc --make must preprocess and parse the header of every local Haskell file: https://ghc.haskell.org/trac/ghc/ticket/618 (as well as https://ghc.haskell.org/trac/ghc/ticket/1290). Neil and I have observed that when you use something

Re: New type of ($) operator in GHC 8.0 is problematic

I'm not really sure how you would change the type of 'id' based on a language pragma. How do people feel about a cosmetic fix, where we introduce a new pragma, {-# LANGUAGE ShowLevity #-} which controls the display of levity arguments/TYPE. It's off by default but gets turned on by some

GHC build time graphs

Joachim, Anthony Cowley was recently complaining on Twitter that building GHC takes 39.5% longer now than it did for 7.10.1: https://twitter.com/a_cowley/status/692481516744634368 Do we have graphs for these metrics, e.g. can we see the breakdown of which commits increased the build time?

Re: [ANNOUNCE] Shaking up GHC

I mean, it would be nice if ghc --make was reimplemented using Shake, but there are a few problems (most notably the use of .shake metadata store) which make it hard to be bug-for-bug compatible with the old make. Edward Excerpts from Ben Gamari's message of 2016-01-23 10:45:50 -0800: > Tuncer

Re: Host-Oriented Template Haskell

o achieve with > the llvm backend. > > If someone is taking a shot at this, I’d like to help! > > Cheers, > Moritz > > > On Jan 21, 2016, at 2:44 PM, Edward Z. Yang <ezy...@mit.edu> wrote: > > > > Yes, in principle, a compiler that supports cross-compiling to many

Re: Fwd: Host-Oriented Template Haskell

Hello John You may find this implementation ticket of interest: https://ghc.haskell.org/trac/ghc/ticket/11378 Edward Excerpts from Ericson, John's message of 2016-01-19 15:15:15 -0800: > Cross-posting this as was suggested on the Haskell-Cafe list. While I > envision this as normal feature that

Re: ghci and unfoldings?

Does passing -fobject-code solve your problem? Edward Excerpts from Conal Elliott's message of 2016-01-17 22:18:49 -0800: > Hi Brandon. Thanks for the reply. I’m not sure that it addresses what I was > trying to ask. GHCi *does* invoke plugins and even reloads those plugins > dynamically when

Trac internal error

When I posted the (attached) POST request to newticket, I got the following error. It did correctly add the ticket to the database. I've elided the form token from this. Trac detected an internal error: AttributeError: 'NoneType' object has no attribute 'split' Here's the contents of

Reify and separating renamer+TH from type-checking

I implemented the refactoring to run the renamer and TH splices all first before doing any type-checking, but actually there's a problem: Template Haskell splices can call 'reify', which needs the type information in order to supply the information about the identifiers in question. I can't think

How does TH know to load non-profiled object code when compiling profiled?

I've been looking for the code that implements this logic, but I can't seem to find it. (For what it's worth, compiler plugins *incorrectly* load the profiling interface when compiling profiled, which is wrong and something I'd like to fix.) Simon Marlow, do you happen to know? Edward

Re: How does TH know to load non-profiled object code when compiling profiled?

: > On 07/01/2016 16:28, Edward Z. Yang wrote: > > I've been looking for the code that implements this logic, but I can't > > seem to find it. (For what it's worth, compiler plugins *incorrectly* > > load the profiling interface when compiling profiled, which is wrong > > an

Re: Remote GHCi

I was reviewing some history here, and I realized that the GHCJS folks had previous implemented this: https://mail.haskell.org/pipermail/ghc-devs/2015-November/010478.html What ever happened to this line of work? Does remote GHCi subsume it? Edward Excerpts from Simon Marlow's message of

Re: uniqAway and collisions

Hello Bartosz, The principle between uniqAway is described in the "Secrets of the GHC Inliner" paper http://research.microsoft.com/en-us/um/people/simonpj/Papers/inlining/ I doubt there's a bug in uniqAway; it's more likely the in scope set is not correct. Edward Excerpts from Bartosz Nitka's

Re: arcanist-external-json-linter missing commits

> I was advised to > > git submodule update --init > > and it did solve the problem > > Alan > > On Thu, Dec 10, 2015 at 11:48 PM, Edward Z. Yang <ezy...@mit.edu> wrote: > > On a git submodule update on HEAD, I get:

arcanist-external-json-linter missing commits

On a git submodule update on HEAD, I get: fatal: reference is not a tree: 85ece0f8653e7b1e7de6024d372cfeaf36ab5fa9 Unable to checkout '85ece0f8653e7b1e7de6024d372cfeaf36ab5fa9' in submodule path '.arc-linters/arcanist-external-json-linter' Edward

Re: Plugins: Accessing unexported bindings

If you have control over the Ids for the properties, if you can arrange for them to be marked "local exported" that should solve your problem. Edward Excerpts from Levent Erkok's message of 2015-12-05 23:01:29 -0800: > Hello, > > The mg_binds field of the ModGuts seem to only contain the

Re: The GHC 8.0 feature freeze is coming

Based on my cursory look at the patch, I think it's unlikely to break existing functionality in subtle ways. So I'm OK with trying to ship it in 8.0 Edward Excerpts from Simon Marlow's message of 2015-12-03 09:50:37 -0800: > On 03/12/2015 13:50, Ben Gamari wrote: > > Luite Stegeman

Re: spj-wildcard-refactor

IMO, reset is a fine way to do this if you don't care about any of this history. But Simon, you should use 'git reset --soft master' so that you don't have to re-add any new files (if you have any!). Edward Excerpts from Alan & Kim Zimmerman's message of 2015-11-20 09:42:26 -0800: > I would

Re: Feature status for GHC 8.0

Excerpts from Ben Gamari's message of 2015-11-17 07:22:22 -0800: > * Backpack work Edward Z. Yang > How is this coming along? Had a chat with SPJ about this and we've decided that Backpack still needs stabilizing, and there is not much gain to

Re: Remote GHCi

I like it. Let me make sure that I've understand this correctly: - While GHC doesn't need to be built with profiling if you want to use profiling in the interpeter, you will need multiple versions of the "server binary" for each way you want to implement. This should be

On the record pattern synonyms patch

Hello Matthew, I have a question about the record pattern synonyms patch which you landed in the last month (2a74a64e8329ab9e0c74bec47198cb492d25affb). In IfaceSyn, you made the following change: data IfaceIdDetails = IfVanillaId - | IfRecSelId IfaceTyCon Bool + |

Re: too many lines too long

For me, a huge reason why the line length errors are annoying is because there will often be some existing line which is 80+, and I just need to change one word in it. Well, now that's a line length error. Now, I *could* refactor the line so that it's less than 80. But this (1) fluffs up the

Re: Questions on the RTS C API regarding threads and tasks

Excerpts from Nicola Gigante's message of 2015-11-04 23:13:51 -0800: > We don't have measurements, but we ruled out this possibility for > performance reasons. Our idea is to make a thin Haskell wrapper > around a tiny bit of highly optimized C code. What's the performance > of locking on MVars?

Re: Questions on the RTS C API regarding threads and tasks

Excerpts from Nicola Gigante's message of 2015-11-04 11:12:39 -0800: > I’ve started delving into the ghc runtime API to understand > if everything we need is exposed to the world or if we > have to modify the runtime itself (which I would avoid if possible). I agree with this goal in principle,

RE: New error on linux

That's simple, we can just use ifdef to test for macro appearance. I'll commit a fix. Edward Excerpts from Ben Gamari's message of 2015-10-27 04:04:42 -0700: > Simon Peyton Jones writes: > > > gcc 4.6.3 > > > Alright, we'll need to figure out what to do about these

RE: New error on linux

OK fixed. Edward Excerpts from Edward Z. Yang's message of 2015-10-27 10:36:36 -0700: > That's simple, we can just use ifdef to test for macro appearance. > I'll commit a fix. > > Edward > > Excerpts from Ben Gamari's message of 2015-10-27 04:04:42 -0700: > > Simon Peyton Jones

Re: recomp013

I couldn't repro on a devel2 build. Edward Excerpts from Simon Peyton Jones's message of 2015-10-26 08:24:00 -0700: > driver/recomp013 is failing, on Linux, on HEAD for me: > > Actual stdout output differs from expected: > > --- ./driver/recomp013/recomp013.stdout.normalised2015-10-26 >

Re: Can't build on Windows

Same here, can't reproduce on 64bit Windows 10. Edward Excerpts from Thomas Miedema's message of 2015-10-26 17:54:35 -0700: > I can not reproduce this on 64bit > Windows, a9c93bdd8b027d6de09a3eada7721e7fd2d3e050 builds succesfully with > flavour devel2. > > * Which build flavour are you using?

Re: Building HEAD with HEAD fails

ly? > > > > Cheers, > > > > Gabor > > > > On 10/22/15, Edward Z. Yang <ezy...@mit.edu> wrote: > > > So... I can't reproduce this. I validated a copy of GHC HEAD, > > > and then used the inplace ghc-stage2 to build another using > &

  1   2   3   4   >