- Haskell-Cafe - Haskell.org

[ANN] Experimental Windows GHC 8.2.2+ 64-bit binary release. Binary compatible with Visual C/Native Windows SDK.
by kyra 13 Dec '17

13 Dec '17

An experimental Windows GHC 8.2.2+ 64-bit Visual C/Native Windows SDK binary compatible distribution is released. The distro is based on and targets Microsoft Visual C runtime and native Windows SDK. The code it produces is statically linkable with Microsoft Visual C and native Windows SDK libraries. Both Visual Studio 2013 and 2017/2015 are supported. Distribution site: https://awson.github.io/ghc-nw/. Cheers, K. Briantsev (aka awson)

1 0

how to run in bounded space?
by Johannes Waldmann 12 Dec '17

12 Dec '17

Dear Cafe. is there an easy way (in GHC Haskell) to run a computation until it (times out or) requires more than X MB of heap? (the main program has a larger heap, but the computation should use some part of it only) This would be nice for automated tests with predictable resources (time and space). There is Control.Timeout. I guess I want Control.Spaceout. - J.

4 5

Unsubscribe
by Peter Althainz 11 Dec '17

11 Dec '17

Am 11.12.2017 1:32 nachm. schrieb <haskell-cafe-request(a)haskell.org>: Send Haskell-Cafe mailing list submissions to haskell-cafe(a)haskell.org To subscribe or unsubscribe via the World Wide Web, visit http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe or, via email, send a message with subject or body 'help' to haskell-cafe-request(a)haskell.org You can reach the person managing the list at haskell-cafe-owner(a)haskell.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell-Cafe digest..." Today's Topics: 1. ANN: New Haskell.org Committee Members (Gershom B) 2. How to call constructor from Template Haskell (Baa) 3. Who can send a patche to vim project? (Takenobu Tani) 4. Re: Haskell IDE Engine logo poll (Alan & Kim Zimmerman) ---------------------------------------------------------------------- Message: 1 Date: Mon, 11 Dec 2017 01:36:50 -0500 From: Gershom B <gershomb(a)gmail.com> To: haskell-cafe <haskell-cafe(a)haskell.org>, haskell-community(a)haskell.org, Tikhon Jelvis <tikhon(a)jelv.is>, Ryan Trinkle <ryan.trinkle(a)gmail.com>, george(a)wils.online Subject: [Haskell-cafe] ANN: New Haskell.org Committee Members Message-ID: <CAM8RHpGY%2BZ_kG0cM%3DusFDEqX4UNgabWecMv_ZEiP85WmgritOg(a)mail.gmail.com> Content-Type: text/plain; charset="UTF-8" Following the self-nomination period and discussion, the Haskell.org committee has selected the following members for a new three-year term, expiring 2020: * Tikhon Jelvis * Ryan Trinkle (reappointment) * George Wilson As per the rules of the committee, this discussion was held among the current members of the committee, and the outgoing members of the committee who were not seeking reappointment. Thank you to all the many candidates who submitted a self-nomination. We received a number of strong nominations. We would encourage all those who nominated themselves to consider self-nominating again in the future. The outgoing members are: John Wiegley and Alan Zimmerman. Thanks both for your service! Regards, Gershom ------------------------------ Message: 2 Date: Mon, 11 Dec 2017 14:03:48 +0200 From: Baa <aquagnu(a)gmail.com> To: Haskell Cafe <haskell-cafe(a)haskell.org> Subject: [Haskell-cafe] How to call constructor from Template Haskell Message-ID: <20171211140348.2a1610b1@Pavel> Content-Type: text/plain; charset=US-ASCII Hello All! May be topic is not for Haskell beginners, so I'll re-send it to Cafe. I have function which constructs some data type. It has signature `Name -> Q [Dec]`. Somewhere in its body I'm extracting constructors of another type with pattern-matching: case tyCons of DataD ctx nm tyVars mbKind cs derivs -> ... Type of those constructors `cs` instantiates some class like this: class MyClass a where specialValue :: a So, I'm iterating over those `cs` but I want to skip one of them which is equal to `specialValue`. Something like this: [c | c <- cs, c /= specialValue] How to do this with Template Haskell's `Con` type (`c`::Con)? I can't simply call it to compare created value with a `specialValue`. === Best regards, Paul ------------------------------ Message: 3 Date: Mon, 11 Dec 2017 21:16:25 +0900 From: Takenobu Tani <takenobu.hs(a)gmail.com> To: haskell-cafe <haskell-cafe(a)haskell.org> Subject: [Haskell-cafe] Who can send a patche to vim project? Message-ID: <CAPB_NvzMGZS3OYEAXuqRCXyx_hsXYf8JaCj0S6cJ%3DVJeH-KwtQ(a)mail.gmail.com> Content-Type: text/plain; charset="utf-8" Hi cafe, Who can send a patche to vim project? I'd like to update vim syntax file (haskell.vim) to fix numeric literals. I read the vim `CONTRIBUTING.md` file [1]. It instructs me to contact the maintainer of each files. In the header of `haskell.vim`, the maintainor of `haskell.vim` is haskell-cafe@ML. [2] Who is the maintainer of `haskell.vim`? I'd like to make fix on numeric literals extension: [3] * BinaryLiterals * HexFloatLiterals * NumericUnderscores I prepared two kinds of patches. * Exact pattern version [4] * Fast (but approximate) pattern version [5] I visually checked patches with the these files [6][7]. Could you send a patch of [4] or [5] to vim project? P.S. I have already sent patches to two projects. * `language-haskell` for atom and linguist [8] You can already use it on atom. Linghist (which is used from github) will apply it soon. * `pygments` [9] It is pending review. [1]: https://github.com/vim/vim/blob/master/CONTRIBUTING.md# syntax-indent-and-other-runtime-files [2]: https://github.com/vim/vim/blob/master/runtime/syntax/haskell.vim#L3 [3]: https://github.com/ghc-proposals/ghc-proposals/blob/ master/proposals/0009-numeric-underscores.rst#new-syntax-this-proposal [4]: https://github.com/vim/vim/compare/master...takenobu-hs: syntax-haskell-literal-exact [5]: https://github.com/vim/vim/compare/master...takenobu-hs: syntax-haskell-literal-fast [6]: https://github.com/takenobu-hs/ghc/blob/squashed-numeric- underscores/testsuite/tests/parser/should_run/NumericUnderscores0.hs [7]: https://github.com/takenobu-hs/ghc/blob/squashed-numeric- underscores/testsuite/tests/parser/should_run/NumericUnderscores1.hs [8]: https://github.com/atom-haskell/language-haskell/commit/ f90eb7d8662493536f54898e52b4c7b1dc96de41 [9]: https://bitbucket.org/birkenfeld/pygments-main/issues/1399/update-haskell- with-lexer-for-numeric Regards, Takenobu

1 0

Re: [Haskell-cafe] Maintenance of streaming and streaming-bytestring
by David Feuer 11 Dec '17

11 Dec '17

I've added you as a member of haskell-streaming. Feel free to transfer the repo. On Sat, Dec 9, 2017 at 10:10 AM, Boespflug, Mathieu <m(a)tweag.io> wrote: > I'd like to contributed streaming-binary to the streaming GitHub org, if > you're up for it. > > http://hackage.haskell.org/package/streaming-binary > > Best, > > -- > Mathieu Boespflug > Founder at http://tweag.io. > > On 17 September 2017 at 01:24, David Feuer <david.feuer(a)gmail.com> wrote: >> >> Ah, right. Then yes, that sounds like a great approach. >> >> On Sep 15, 2017 1:23 PM, "Carter Schonwald" <carter.schonwald(a)gmail.com> >> wrote: >>> >>> GitHub has a transfer repo ownership toggle you can do to move the main >>> repo and it's assets >>> >>> On Fri, Sep 15, 2017 at 1:05 PM David Feuer <david.feuer(a)gmail.com> >>> wrote: >>>> >>>> Having an organization (with multiple owners and members) makes for much >>>> smoother transitions when maintainers change. That goes triple for >>>> unexpected changes. There's (still!) no really good way to migrate an issue >>>> tracker or PRs from one repository to another. Unfortunately, for that same >>>> reason, I believe that actually moving your project to the organization will >>>> be quite unpleasant if there are more than a few open tickets. And if there >>>> are more than a few closed tickets, then preserving history in a useful >>>> history seems hard too. Maybe someone else knows a reason this isn't >>>> actually terrible. >>>> >>>> David >>>> >>>> On Sep 14, 2017 1:10 AM, "Ivan Lazar Miljenovic" >>>> <ivan.miljenovic(a)gmail.com> wrote: >>>> >>>> Since you've seem to set this up as an organisation, would you be >>>> interested in my moving over the various streaming libraries I have >>>> there as well? >>>> >>>> On 14 September 2017 at 03:31, Andrew Martin <andrew.thaddeus(a)gmail.com> >>>> wrote: >>>> > The streaming and streaming-bytestring libraries are now being >>>> > maintained >>>> > here: https://github.com/haskell-streaming >>>> > >>>> > On Tue, Sep 12, 2017 at 4:50 PM, Andrew Martin >>>> > <andrew.thaddeus(a)gmail.com> >>>> > wrote: >>>> >> >>>> >> Thanks adding me as a maintainer. I'm new to this process, so I >>>> >> appreciate >>>> >> the tip about admin(a)hackage.haskell.org as well. >>>> >> >>>> >> -Andrew Martin >>>> >> >>>> >> On Tue, Sep 12, 2017 at 3:57 PM, Erik Hesselink <hesselink(a)gmail.com> >>>> >> wrote: >>>> >>> >>>> >>> Hi Andrew, >>>> >>> >>>> >>> We usually allow about 3 weeks for the maintainer to respond. Since >>>> >>> that >>>> >>> time has now passed I've added you as a maintainer for streaming and >>>> >>> streaming-bytestring. Let me know if there's anything else you need. >>>> >>> >>>> >>> For others looking to take over a package in the future, please CC >>>> >>> admin(a)hackage.haskell.org, there's a higher chance I'll see it there >>>> >>> than >>>> >>> just on the email lists. >>>> >>> >>>> >>> Regards, >>>> >>> >>>> >>> Erik (hackage admin) >>>> >>> >>>> >>> On 12 September 2017 at 20:18, Andrew Martin >>>> >>> <andrew.thaddeus(a)gmail.com> >>>> >>> wrote: >>>> >>>> >>>> >>>> Are there any further steps that I can take? >>>> >>>> >>>> >>>> On Thu, Sep 7, 2017 at 11:07 AM, Andrew Martin >>>> >>>> <andrew.thaddeus(a)gmail.com> wrote: >>>> >>>>> >>>> >>>>> David Feuer brought this up two weeks ago [0]. The maintainer of >>>> >>>>> streaming and streaming-bytestring has been unreachable, and >>>> >>>>> provided his >>>> >>>>> continued absence, I would like to become a maintainer of these >>>> >>>>> two >>>> >>>>> libraries. I have put up PRs fixing issues [1] and I've offered on >>>> >>>>> the issue >>>> >>>>> tracker to become a comaintainer [2]. I use this library a lot at >>>> >>>>> work, so I >>>> >>>>> have an interest in keeping it in good shape. >>>> >>>>> >>>> >>>>> [0] >>>> >>>>> >>>> >>>>> https://mail.haskell.org/pipermail/libraries/2017-August/028141.html >>>> >>>>> [1] https://github.com/michaelt/streaming-bytestring/pull/11 >>>> >>>>> [2] https://github.com/michaelt/streaming-bytestring/issues/19 >>>> >>>>> >>>> >>>>> -- >>>> >>>>> -Andrew Thaddeus Martin >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> -- >>>> >>>> -Andrew Thaddeus Martin >>>> >>>> >>>> >>>> _______________________________________________ >>>> >>>> Libraries mailing list >>>> >>>> Libraries(a)haskell.org >>>> >>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries >>>> >>>> >>>> >>> >>>> >> >>>> >> >>>> >> >>>> >> -- >>>> >> -Andrew Thaddeus Martin >>>> > >>>> > >>>> > >>>> > >>>> > -- >>>> > -Andrew Thaddeus Martin >>>> > >>>> > _______________________________________________ >>>> > Haskell-Cafe mailing list >>>> > To (un)subscribe, modify options or view archives go to: >>>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >>>> > Only members subscribed via the mailman list are allowed to post. >>>> >>>> >>>> >>>> -- >>>> Ivan Lazar Miljenovic >>>> Ivan.Miljenovic(a)gmail.com >>>> http://IvanMiljenovic.wordpress.com >>>> _______________________________________________ >>>> Haskell-Cafe mailing list >>>> To (un)subscribe, modify options or view archives go to: >>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >>>> Only members subscribed via the mailman list are allowed to post. >>>> >>>> >>>> _______________________________________________ >>>> Haskell-Cafe mailing list >>>> To (un)subscribe, modify options or view archives go to: >>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >>>> Only members subscribed via the mailman list are allowed to post. >> >> >> _______________________________________________ >> Libraries mailing list >> Libraries(a)haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries >> >

1 0

Haskell IDE Engine logo poll
by Alan & Kim Zimmerman 11 Dec '17

11 Dec '17

Hi Thanks to Damien Flament we have some logo proposals for the haskell-ide-engine[1] logo. Please take a moment to vote for the options at [2]. If there are alternative designs, please feel free to put them forward too, the issue tracking this is at [3] We will keep the poll open until Friday noon UTC. Alan [1] https://github.com/haskell/haskell-ide-engine [2] http://www.anonvote.com/poll/dr587990y [3] https://github.com/haskell/haskell-ide-engine/issues/267

1 1

How to call constructor from Template Haskell
by Baa 11 Dec '17

11 Dec '17

Hello All! May be topic is not for Haskell beginners, so I'll re-send it to Cafe. I have function which constructs some data type. It has signature `Name -> Q [Dec]`. Somewhere in its body I'm extracting constructors of another type with pattern-matching: case tyCons of DataD ctx nm tyVars mbKind cs derivs -> ... Type of those constructors `cs` instantiates some class like this: class MyClass a where specialValue :: a So, I'm iterating over those `cs` but I want to skip one of them which is equal to `specialValue`. Something like this: [c | c <- cs, c /= specialValue] How to do this with Template Haskell's `Con` type (`c`::Con)? I can't simply call it to compare created value with a `specialValue`. === Best regards, Paul

1 0

ANN: New Haskell.org Committee Members
by Gershom B 11 Dec '17

11 Dec '17

Following the self-nomination period and discussion, the Haskell.org committee has selected the following members for a new three-year term, expiring 2020: * Tikhon Jelvis * Ryan Trinkle (reappointment) * George Wilson As per the rules of the committee, this discussion was held among the current members of the committee, and the outgoing members of the committee who were not seeking reappointment. Thank you to all the many candidates who submitted a self-nomination. We received a number of strong nominations. We would encourage all those who nominated themselves to consider self-nominating again in the future. The outgoing members are: John Wiegley and Alan Zimmerman. Thanks both for your service! Regards, Gershom

1 0

Re: [Haskell-cafe] Taking over mtl-tf
by M Farkas-Dyck 10 Dec '17

10 Dec '17

On 09/12/2017, Trevor Elliott <awesomelyawesome(a)gmail.com> wrote: > I'm happy to transfer the package to someone else. The old darcs repository > is long gone and I don't think that I ever migrated it over to github, so > the package source on hackage is probably all that remains. Thanks! My Hackage user name is "MatthewFarkasDyck"; would you please add me to maintainers?

1 0

Taking over mtl-tf
by M Farkas-Dyck 09 Dec '17

09 Dec '17

The maintainer e-mail <trevor(a)galois.com> seems defunct. Ergo, i mean to take over the package, unless a maintainer comes forth.

2 1

Serialising both data and functions
by Clinton Mead 07 Dec '17

07 Dec '17

The cereal <https://hackage.haskell.org/package/cereal> package contains a useful framework for serialising data. I've also noticed that the static pointers <https://ocharles.org.uk/blog/guest-posts/2014-12-23-static-pointers.html> extension could be useful for serialising functions, at least those which are statically applied (I understand the caveat that this breaks if the executable is recompiled). But it occurred to me that I might want to serialise a combination of these two things, for example, a static function call with a number of arguments, but the first of those arguments being non-static data. Is there a package to that combines these two use cases, namely static functions with non-static data? I'm happy to start writing one myself, but I don't want to reinvent the wheel. My ultimate aim is to combine this with acid-state <https://hackage.haskell.org/package/acid-state> so the current requirement to effectively pre-declare all possible operations on your data is relaxed.

2 1