On Sun, Jan 01, 2012 at 07:51:39AM -0500, Ryan Newton wrote:
I haven't entirely followed this and I see that it's been split over
multiple threads.
Did cabal install random actually fail for you under
ghc-7.4.0.20111219? If so I'd love to know about it as the maintainer
of the random
It seems to me that there's only one essential missing language feature, which
is appropriately-kinded type-level strings (and, ideally, the ability to
reflect these strings back down to the value level). Given that, template
haskell, and the HList bag of tricks, I'm confident that a fair
On Mon, Jan 02, 2012 at 04:35:25PM +0400, Serge D. Mechveliani wrote:
On Sun, Jan 01, 2012 at 07:51:39AM -0500, Ryan Newton wrote:
I haven't entirely followed this and I see that it's been split over
multiple threads.
Did cabal install random actually fail for you under
Just FYI it is possible to use OLD cabal binaries with the new GHC 7.4.
No need to necessarily rebuild cabal-install with GHC 7.4.
I do this all the time. Perhaps it's a bad practice ;-).
-Ryan
On Mon, Jan 2, 2012 at 8:07 AM, Brent Yorgey byor...@seas.upenn.edu wrote:
On Mon, Jan 02, 2012
Dear GHC team,
I have tested ghc-7.4.0.20111219 on Debian Linux by
1) making it from source,
2) making it by itself,
3) making DoCon-2.12 and running its test.
It looks all right.
In installing DoCon, there appears a new point of installing the package
Random, because Random has
I'm interested in type-level strings myself. I'm using an
approximation in order to enrich the instant-generics-style reflection
of data type declarations with a sensitivity to constructor names. For
example, this lets me automatically convert between many the
similarly-named constructors of
On Mon, Jan 2, 2012 at 4:38 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Open questions:
· Is String (at the kind level) a synonym for [Char]? I’m inclined
*not* to do this initially, because it would require us to have promoted
character literals too -- and the
Hello,
On Mon, Jan 2, 2012 at 4:38 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
· I don’t know exactly what you have in mean by “the ability to
reflect the type-level string at the value level”.
This can be done using singleton types in exactly the same way that it
is done on
On Jan 2, 2012, at 8:05 PM, Iavor Diatchki wrote:
Hello,
On Mon, Jan 2, 2012 at 4:38 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
·I don’t know exactly what you have in mean by “the ability to
reflect the type-level string at the value level”.
This can be done using
On 02/01/2012, Simon Peyton-Jones simo...@microsoft.com wrote:
It seems to me that there's only one essential missing language feature,
which is appropriately-kinded type-level strings (and, ideally, the ability
to reflect these strings back down to the value level). Given that, template
On Thu, Dec 29, 2011 at 12:00 PM, Simon Peyton-Jones
simo...@microsoft.comwrote:
| The lack of response, I believe, is just a lack of anyone who
| can cut through all the noise and come up with some
| practical way to move forward in one of the many possible
| directions.
You're right.
11 matches
Mail list logo
