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 wrote:

Yes, major blunder. Sorry about that!

On Mon, Apr 28, 2014 at 6:27 AM, Simon Peyton Jones 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:ghc-devs-bounces@haskell.org] On Behalf Of Austin | Seipp | Sent: 28 April 2014 12:21 | To: ghc-devs@haskell.org | 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 | ghc-devs@haskell.org | 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 ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs