RE: Join points

All, Yes, do take a look at this. It’s a fairly direct implementation of the paper “Compiling without continuations”. You should definitely read the paper first; it’ll set the scene. I am really hoping

RE: Magical function to support reflection

To make the reflection library work in a fully type-safe manner would take 1-3 additional wired ins that would consist of well-typed core. The stuff David is proposing above would be more general but less safe. The approach I proposed below looks general, safe, and performant. Or not? To make

Join points

Hello all! For your consideration, I present patch D2853: Join points. https://phabricator.haskell.org/D2853 It validates* and it's ready for wider reviewing, so please help me get it to land before the freeze! It's ... sizable. There's not really any way to split it, since there are many

Re: Magical function to support reflection

Simon has an idea for making it safer. I suspect it's only properly safe with the "forall s", but there may be a way to at least make it specialization-safe (if not conditionally coherence-safe) without that. On Jan 17, 2017 2:42 PM, "Edward Kmett" wrote: > That is the paper

Re: Magical function to support reflection

That is the paper the reflection library API is based on. However, doing it the way mentioned in that paper (after modifying it to work around changes with the inliner for modern GHC) is about 3 orders of magnitude slower. We keep it around in reflection as the 'slow' path for portability to

RE: Windows build

Hi Simon, Thanks for the update, I can reproduce a similar failure on the build bot and one of my own machines. I’m looking into what might be causing it, I have something I want to try but not Sure yet it will solve it. I don’t need more information atm as I can reproduce the race condition

Re: recomp001 failing on OSX for Phab:D2853

Whew! Glad to hear it. Thanks! - Luke Maurer University of Oregon maur...@uoregon.edu > On Jan 17, 2017, at 10:12 AM, Ben Gamari wrote: > > Luke Maurer writes: > >> Getting an odd test failure from Phab: >> >> @@ -1,2 +0,0 @@ >> - >>

[GHC Proposal] Propose overhaul of implicit quantification in Template Haskell quoting

Hello everyone, Ryan Scott just opened Pull Request #36 [1] against the ghc-proposals repository. This is a proposal to change the behavior of Template Haskell quoting with respect to implicitly quantified type variables. The overall effect is that implicitly quantified type variables will be

Re: recomp001 failing on OSX for Phab:D2853

Luke Maurer writes: > Getting an odd test failure from Phab: > > @@ -1,2 +0,0 @@ > - > -C.hs:3:11: Module ‘B’ does not export ‘foo’ > Actual stderr output differs from expected: > *** unexpected failure for recomp001(normal) > >

recomp001 failing on OSX for Phab:D2853

Getting an odd test failure from Phab: @@ -1,2 +0,0 @@ - -C.hs:3:11: Module ‘B’ does not export ‘foo’ Actual stderr output differs from expected: *** unexpected failure for recomp001(normal) https://phabricator.haskell.org/harbormaster/build/18499/?l=0 I can't explain how my changes would

RE: Magical function to support reflection

David says that this paper is relevant http://okmij.org/ftp/Haskell/tr-15-04.pdf Simon From: David Feuer [mailto:david.fe...@gmail.com] Sent: 14 January 2017 00:50 To: Simon Peyton Jones Cc: ghc-devs ; Edward Kmett Subject: RE:

Windows build

Hi Tamar The current state of a clean Windows build has improved - but still has multiple failures. See below Thanks for your work on this. I can send more details if that'd be helpful Simon Unexpected failures: plugins/plugins07.run plugins07 [bad exit code] (normal)