[Haskell] CFP: ACM MobiWac 2016 - November 13 - 17, 2016, Malta

** We apologize if you receive multiple copies of this message ** The 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2016) November 13 - 17, 2016 - Malta http://mobiwac-symposium.org/

Re: Feedback on -Wredundant-constraints

I strongly agree with per-declaration warning suppression. But I'd like to leave both warnings on by default in -Wall. 1. Sometimes an upstream library will drop a constraint. The warning lets me know I can drop it too. 2. Sometimes an implementation evolves from a draft that requires a

Re: Feedback on -Wredundant-constraints

To better elaborate : I definitely want this for the next major version i.e. 8.2.* , but I'm also wondering if perhaps the "overly constrained type" warning should be flat out removed from Wall even in ghc 8.0.2, On Monday, June 6, 2016, Carter Schonwald wrote: >

Re: Feedback on -Wredundant-constraints

It's a tall ask, but why not? On Jun 6, 2016 12:16 PM, "Eric Seidel" wrote: > > > On Mon, Jun 6, 2016, at 07:37, Carter Schonwald wrote: > > I don't suppose there's any hope of having this resolved prior to GHC 8.2 > > because it is a real usability regression? Because I think we

Re: Feedback on -Wredundant-constraints

On Mon, Jun 6, 2016, at 07:37, Carter Schonwald wrote: > I don't suppose there's any hope of having this resolved prior to GHC 8.2 > because it is a real usability regression? Because I think we can all > agree > that the proposed change would not break any 8.0 series code, and > positively

Re: Feedback on -Wredundant-constraints

Strong emphatic agreement. Both that it should split up thusly and that the latter shouldn't be in WALL. Otherwise it poisons the well for all be the most sophisticated users of type level programming. I don't suppose there's any hope of having this resolved prior to GHC 8.2 because it is a real

Re: Feedback on -Wredundant-constraints

I've been bitten by this too and had to disable the warning. Let me propose an alternative; * -Wredundant-constraints becomes only your Warning 1. That is, it reports when a user writes a constraint that is fully equivalent to some other, strictly smaller constraint, like suggesting simplifying

[Haskell] WADT 2016 -- Extended Deadline

CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques (extended deadline) Link: http://cs.swan.ac.uk/wadt16/ WhenSep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 17, 2016 (extended) Notification

[Haskell] New Haddock

I couldn’t find an announcement of the new version of Haddock. You can now document your libraries even more beautifully. For example, > -- \[ > -- f(k;n,p) = \Pr(X = k) = \binom n k p^k(1-p)^{n-k} > -- \] will render as