Re: ANNOUNCE: GHC 7.10.1 Release Candidate 2

2015-02-02 Thread Erik Hesselink
On Mon, Feb 2, 2015 at 9:37 AM, Herbert Valerio Riedel wrote: > Hi Mark, > > On 2015-01-28 at 04:31:29 +0100, Mark Lentczner wrote: >> I've just built a bindist under 10.10, but just normal not expressly llvm. >> I'll test this in a bit then post it -- but might be sometime tomorrow >> before it i

Re: Proposal: ValidateMonoLiterals - Initial bikeshed discussion

2015-02-06 Thread Erik Hesselink
On Fri, Feb 6, 2015 at 2:49 PM, Dominique Devriese wrote: > Agreed. For the idea to scale, good support for type-level > programming with Integers/Strings/... is essential. Something else > that would be useful is an unsatisfiable primitive constraint > constructor `UnsatisfiableConstraint :: St

Re: Building vector with GHC HEAD

2015-02-17 Thread Erik Hesselink
Or [1]. The tl;dr: add "where rnf x = seq x ()" to the instance to get the old behavior. Erik [1] https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10#deepseq-1.4.0.0 On Tue, Feb 17, 2015 at 2:39 PM, Roman Cheplyaka wrote: > See http://bit.ly/1CDVOIZ > > On 17/02/15 15:19, Jan Stolarek wrote: >

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 3

2015-03-19 Thread Erik Hesselink
I made an unofficial OS X build again [0]. I'd be happy to offer my services to make an official build as well if people are interested and know how to get this on the ghc download page. Regards, Erik [0] http://www.reddit.com/r/haskell/comments/2rims6/ghc_7100rc1_build_for_mac_os_x/ On Thu, M

Re: wither the Platform

2015-03-22 Thread Erik Hesselink
On Sun, Mar 22, 2015 at 10:17 AM, Neil Mitchell wrote: > On Windows, the reason I used to use the Platform was that it came > with an installed network library, and installing the network library > on Windows is a real pain (and often fails). Unfortunately it was > incredibly brittle, a single att

Re: wither the Platform

2015-03-22 Thread Erik Hesselink
On Sun, Mar 22, 2015 at 11:24 AM, Herbert Valerio Riedel wrote: > On 2015-03-22 at 11:17:21 +0100, Erik Hesselink wrote: > > [...] > >> I do this for template-haskell, since it's not possible to reinstall >> but cabal would occasionally try it. I can imagine it woul

Re: HP 2015.2.0.0 and GHC 7.10

2015-03-23 Thread Erik Hesselink
On Mon, Mar 23, 2015 at 6:13 AM, Mark Lentczner wrote: > exceptions & multipart - needed by cgi - is exceptions now subsumed by > something in transformers? and... multipart? maybe time to drop cgi? We > didn't have it last time anyway as it wouldn't compile! Multipart was pulled out of cgi just

Re: wither the Platform

2015-03-25 Thread Erik Hesselink
On Wed, Mar 25, 2015 at 11:10 AM, Herbert Valerio Riedel wrote: > Or put differently, how shall HP users be informed they're not running > the latest HP version with all known critical bugs fixed? While I can see most of the problems people claim the platform has, this particular one is shared b

Re: quick report using GHC 7.10 RC3

2015-03-26 Thread Erik Hesselink
On Mon, Mar 23, 2015 at 6:44 AM, Mark Lentczner wrote: > 7. Cabal incompatible API change > In particular, the api that a custom Setup.hs uses. > Distribution.Simple.UserHooks changed the type of a hook. It should not, it > should have added another to do what it wanted. The poblem is you can't u

Re: MonadFail proposal (MFP): Moving fail out of Monad

2015-06-10 Thread Erik Hesselink
On Wed, Jun 10, 2015 at 2:14 PM, Johan Tibell wrote: > On Wed, Jun 10, 2015 at 1:46 PM, Roman Cheplyaka wrote: >> >> On 10/06/15 14:22, Johan Tibell wrote: >> > On Wed, Jun 10, 2015 at 12:42 AM, David Luposchainsky >> > mailto:dluposchain...@googlemail.com>> >> > wrote: >> > >> > I think ther

Re: Abstract FilePath Proposal

2015-06-29 Thread Erik Hesselink
I think this proposal is currently underspecified. For example, it's not clear to me what the semantics of a FilePath are. I have the feeling that `toFilePah` should return a Maybe, for example, but it's hard to say without knowing what it's converting to, exactly. I also worry about the immense b

Re: Abstract FilePath Proposal

2015-06-29 Thread Erik Hesselink
've had, and those have already caused a lot of grumbling. But the only way to be sure is to run the builds on hackage (or stackage, but that's a smaller sample size). Erik > On Mon, Jun 29, 2015 at 11:39 AM Erik Hesselink wrote: >> >> I think this proposal is curre

Re: Abstract FilePath Proposal

2015-06-30 Thread Erik Hesselink
On Tue, Jun 30, 2015 at 11:25 AM, Neil Mitchell wrote: > To all the people who are worried about breakage, I can guarantee this > will cause breakage. It's a sad fact, and certainly the main negative > to this proposal. I was on the fence initially when hvr suggested this > change to me, but was c

Re: Best practices for merging?

2016-02-01 Thread Erik Hesselink
On 1 February 2016 at 15:44, Jan Stolarek wrote: > I also wonder what is the preferred way of viewing history for most of the > people. I either use > `git log` or github, but rarely resort to gitk. Only the latter makes the > non-linear commits > explicitly visible. The former two just collapse

Re: GHC 8.0.1 status

2016-03-01 Thread Erik Hesselink
I've found what I believe to be a regression in GHC 8 rc2 [1], and the wiki says to yell if I want to bring it to the attention of GHC developers. So this is me yelling, I guess :) I'm not sure if this bug is important enough to be included, but I think it would be good for someone to look at it an

Re: TH changes for ghc 8.0

2016-04-12 Thread Erik Hesselink
On 12 April 2016 at 07:36, Matthias Fischmann wrote: > On Tue, Apr 12, 2016 at 02:22:23PM +1000, Erik de Castro Lopo wrote: >> Date: Tue, 12 Apr 2016 14:22:23 +1000 >> From: Erik de Castro Lopo >> To: ghc-devs@haskell.org >> Subject: TH changes for ghc 8.0 >> >> Hi all, >> >> I'm working on updat

Re: Why upper bound version numbers?

2016-06-07 Thread Erik Hesselink
Others have already commented on many aspects of this discussion, but I just wanted to mention that cabal has an '--allow-newer' flag to disregard these constraints, so '--allow-newer=base' would allow you to try and compile this package with GHC 8. Since GHC 8 is very recent though and base 4.3 is

Re: Why upper bound version numbers?

2016-06-09 Thread Erik Hesselink
What do you expect will be the distribution of 'soft' and 'hard' upper bounds? In my experience, all upper bounds currently are 'soft' upper bounds. They might become 'hard' upper bounds for a short while after e.g. a GHC release, but in general, if a package maintainer knows that a package fails t

Re: Why upper bound version numbers?

2016-06-09 Thread Erik Hesselink
s fixed a hard upper bound is required. Likewise for > hard lower bounds. > > And arguments about "it shouldn't happen with the PVP" don't hold, because > it does happen, PVP is a human judgement thing. > > Alan > > > On Thu, Jun 9, 2016 at 10:01 AM, Erik He

Re: haskell.org not sending intermediate certs

2016-12-18 Thread Erik Hesselink
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 list. Erik On 18 December 2016 at 07:12, Edward Z. Yang wrote: > See:

Re: What's the modern way to apply a polymorphic function to a Dynamic value in GHC 8.8 and onwards?

2021-04-12 Thread Erik Hesselink
Your function is not `forall a. a -> f a`, as in your initial example, but requires its argument to be an `EventSink`. The value you unwrap from the `Dynamic` is any existential type, not necessarily an `EventSink`. You'll have to compare the TypeReps (with something like `eqTypeRep`[1], or wrap yo

Re: What's the modern way to apply a polymorphic function to a Dynamic value in GHC 8.8 and onwards?

2021-04-12 Thread Erik Hesselink
Functor EventSink where > fmap = undefined > > newtype TimeSeries a = TimeSeries {readTimeSeries :: IO (Maybe a)} > > instance Functor TimeSeries where > fmap = undefined > > ``` > > I'm still wrapping my head around it, for how the `pattern TypeRep` works > in thi