Re: Records in Haskell

2011-12-31 Thread Brent Yorgey
On Sun, Jan 01, 2012 at 01:22:31AM -0500, Matthew Farkas-Dyck wrote: > > It seems to me that there's only one essential missing language feature, > > which is appropriately-kinded type-level strings > > Isn't this possible now with type → kind promotion? Unfortunately, I believe promotion of buil

Re: Records in Haskell

2011-12-31 Thread Matthew Farkas-Dyck
> It seems to me that there's only one essential missing language feature, > which is appropriately-kinded type-level strings Isn't this possible now with type → kind promotion? > Cheers, > Gershom Cheers, (and Happy New Year), MFD ___ Glasgow-haskell

Re: ghc-cabal-Random

2011-12-31 Thread Brandon Allbery
On Sat, Dec 31, 2011 at 15:46, Serge D. Mechveliani wrote: > Its installation requires Cabal: > > which cabal > cabal: Command not found. > > > And Cabal is difficult to install, it reports that such and such package > versions are missing. > On the other hand, Cabal is, probably, present insid

Re: ghc-cabal-Random

2011-12-31 Thread Wolfram Kahl
On Sat, Dec 31, 2011 at 11:43:26PM +0200, Yitzchak Gale wrote: > Serge D. Mechveliani wrote: > > I have  ghc-7.4.0.20111219  made from source and tested it on the > > DoCon-2.12 application -- thanks to people for their help! > > It looks all right. > > This was -- with skipping the module Random >

Re: ghc-cabal-Random

2011-12-31 Thread Yitzchak Gale
Serge D. Mechveliani wrote: > I have  ghc-7.4.0.20111219  made from source and tested it on the > DoCon-2.12 application -- thanks to people for their help! > It looks all right. > This was -- with skipping the module Random > Now it remains to add the Random package. > I have taken  AC-Random Vers

Re: Records in Haskell

2011-12-31 Thread Yitzchak Gale
Gershom Bazerman wrote: > Beyond that, it would really help namespacing in general to appropriately > extend the module system to allow multiple modules to be declared within a > single file -- or, better yet, "submodules". I know that this introduces a > few corner cases that need to be thought th

ghc-cabal-Random

2011-12-31 Thread Serge D. Mechveliani
People, I have ghc-7.4.0.20111219 made from source and tested it on the DoCon-2.12 application -- thanks to people for their help! It looks all right. This was -- with skipping the module Random. Now it remains to add the Random package. I have taken AC-Random Version 0.1 from hackage. Its

Re: Records in Haskell

2011-12-31 Thread Gershom Bazerman
On Dec 31, 2011, at 1:28 PM, Simon Peyton-Jones wrote: > The trouble is that I just don't have the bandwidth (or, if I'm honest, the > motivation) to drive this through to a conclusion. And if no one else does > either, perhaps it isn't *that* important to anyone. That said, it clearly > is *so

RE: Records in Haskell

2011-12-31 Thread Simon Peyton-Jones
Frege has a detailed explanation of the semantics of its record implementation, and the language is *very* similar to Haskell. Lets just start by using Frege's document as the proposal. We can start a new wiki page as discussions are needed. If it's a serious proposal, it needs a page to specif

Unregistered builds broken? (Was: ANNOUNCE: GHC 7.4.1 Release Candidate 1)

2011-12-31 Thread Joachim Breitner
Dear GHC team, I tried to fix these problems myself, and three of the bugs had more or less trivial solutions (that hopefully are right): http://hackage.haskell.org/trac/ghc/ticket/5733 http://hackage.haskell.org/trac/ghc/ticket/5735 http://hackage.haskell.org/trac/ghc/ticket/5734 However, this