Is it possible to do so with any sort of concrete syntax?
I’m afraid not. And I’m strongly disinclined to add it because we’d then just
delete it again. Are you really really stuck?
S
From: Glasgow-haskell-users [mailto:glasgow-haskell-users-boun...@haskell.org]
On Behalf Of Conal Elliott
Friends
GHC generally obeys this rule
* If GHC infers a type f::type, then it's OK for you to add a type
signature saying exactly that.
For example, it rejects inferred types that are ambiguous. I think this is a
good property; it was certainly the source of many bug reports before
No objections here.
The types involved really *do* have FlexibleContexts in them, so it makes
sense to require the extension.
The upgrade path for library authors is also clear. It'll complain to add
the extension, and they'll fix it by adding the line of code suggested and
perhaps realize
Thanks, Simon. I wouldn’t say that I’m really really stuck yet, and I’d
rather no one wasted time on a dead-end workaround. I like the plan you
described using kind polymorphism instead of subkinding, because I think
the relaxed kinds would naturally be inferred where I need them.
The problem I’m
] GHC generally obeys this rule
]
] · If GHC infers a type f::type, then it’s OK for you to add a type
] signature saying exactly that.
That rule suggests that -XScopedTypeVariables should be on by default,
and that you shouldn't need a forall to bring the type variables into
scope. I
I'm pleased to announce the list of accepted student proposals for
haskell.org for the Google Summer of Code 2014.
Title Student Mentor Adding profiling support to GHCJS -- JavaScript
backend for GHC Ömer Sinan Aǧacan Luite Stegeman Concurrent Lock-Free Hash
Map for Haskell Mathias Bartl
Hi,
are there long descriptions somewhere? the trac page linked from melange
seems to have not been updated since 2012:
https://ghc.haskell.org/trac/summer-of-code/report/1
I'd be interested to see the milestones and expected outcomes for some of
the projects :)
Conrad.
On 22 April 2014
The abstracts get published publicly.
The details of the proposal milestones are only displayed to the pool of
mentors though.
This is what Melange does by default. However, I'm not sure what Google's
official policy is on revealing more information.
Often by the end of the proposal process the
Magnus Therning wrote:
They were dropped from the testing branch due to not being buildable
with ghc 7.8 at the time.[^1] I'll make an attempt to re-add them.
Earlier we had the following three packages, would they be both
sufficient and necessary?
persistent
persistent-sqlite
On Mon, Apr 21, 2014 at 02:20:00PM +, Xyne wrote:
Magnus Therning wrote:
They were dropped from the testing branch due to not being buildable
with ghc 7.8 at the time.[^1] I'll make an attempt to re-add them.
Earlier we had the following three packages, would they be both
sufficient
10 matches
Mail list logo