Hello, I added a paragraph about my work to integrate an SMT solver with the constraint solver.
As far as I know, the work on 'data kinds' is stalled at the moment in part due to lack of time, but also because we got a prototype working, but then there were doubts if we'd taken the right approach. -Iavor On Mon, Apr 28, 2014 at 4:28 AM, Austin Seipp <[email protected]> wrote: > Yes, major blunder. Sorry about that! > > On Mon, Apr 28, 2014 at 6:27 AM, Simon Peyton Jones > <[email protected]> wrote: > > Austin omitted the all-important URL: > > https://ghc.haskell.org/trac/ghc/wiki/Status/May14 > > > > It's on the wiki so you can fill in yourselves. > > > > Simon > > > > | -----Original Message----- > > | From: ghc-devs [mailto:[email protected]] On Behalf Of > Austin > > | Seipp > > | Sent: 28 April 2014 12:21 > > | To: [email protected] > > | Cc: Simon Marlow; Herbert Valerio Riedel > > | Subject: [Urgent] Please fill out the 2014 HCAR entry for GHC! > > | > > | Hello all, > > | > > | I hate to pester so late, but this completely slipped my mind *twice* > > | so I'm afraid I have to! > > | > > | The HCAR entry deadling is rapidly approaching (~May 1st), and before > > | I send off what we have to Mihai, I'd like everyone to pitch in as > > | much as possible. > > | > > | I've already gone ahead and filled out the skeleton. Now I need y'all > > | to fill in details. To that end, I've directly CC'd interested > > | parties, and replicating the message here - if your name is below, > > | please take a quick look over, it shouldn't take you long. > > | > > | * Richard - I copied over the note about the old Explicit Type > > | Application work - do you have any update on what its current status > > | is? I also was under the impression the new kind equalities work *may* > > | go into 7.10, but I haven't heard anything yet. Do please confirm and > > | edit as you see fit. > > | > > | * Iavor - I know you, Eric, and Trevor had worked on Kinds without > > | Data before. Do you know of its current status? I copied the current > > | notes into the page - > > | > > | I also believe you have some recent work involving using an SMT > > | solver in the type-checker, which is quite interesting! If you feel > > | like it, please do mention it, I'm sure people would like to hear. > > | > > | * Thomas - everyone is excited about PartialTypeSignatures I think. > > | Please edit the page and write what you'd like - there's a tiny stub > > | there already. > > | > > | * Edward, Simon, Johan - I'm not sure what you're working on, but I > > | imagine you may have some runtime system or optimization changes up > > | your sleeve. Do feel free to add in things you feel you should > > | mention. > > | > > | * SimonM - I've added a small note for ApplicativeDo. Please feel > > | free to expand or tweak it as you see fit. > > | > > | * Herbert - Do please make the new repository changes clear, and be > > | sure to mention anything else you might be working on (perhaps more > > | integer-gmp improvements?) > > | > > | Please spread the word (by mouth somehow or IRC) - I'll be monitoring > > | the page closely for the next few days and send it to Mihail once it's > > | been expanded upon. > > | > > | -- > > | Regards, > > | > > | Austin Seipp, Haskell Consultant > > | Well-Typed LLP, http://www.well-typed.com/ > > | _______________________________________________ > > | ghc-devs mailing list > > | [email protected] > > | http://www.haskell.org/mailman/listinfo/ghc-devs > > > > > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ > _______________________________________________ > ghc-devs mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
