Tag Archives: GHC

Wanted GHC feature: warn about unused constraints

Posted on November 5, 2011 by Brent

Consider the following function: foo :: (Show a, Ord a) => a -> a -> String foo x y = show x ++ show y Currently (as of GHC 7.2.1) when compiling this code with -Wall, no warnings are generated. … Continue reading →

Posted in haskell | Tagged , , , | 5 Comments

Typed type-level programming: status report

Posted on December 3, 2010 by Brent

A few people have been bugging me (you know who you are ;-) about the current status of the project to allow automatic “lifting” of Haskell data constructors to the type level, to allow for typed type-level programming. I’ve written … Continue reading →

Posted in haskell, projects | Tagged , , , , , , | Leave a comment

Back from Baltimore

Posted on October 2, 2010 by Brent

I’m finally back in Philly after attending ICFP, the Haskell Symposium, and the Haskell Implementors’ Workshop in Baltimore. I enjoyed meeting every person I met, so if I met you please feel free to instantiate the universal quantifier. Here’s a … Continue reading →

Posted in haskell, links, writing | Tagged , , , , , , , | Leave a comment

Improving GHC’s constraint solving

Posted on June 17, 2010 by Brent

So I’ve been here at MSR Cambridge for almost two weeks now (!), working in the Programming Principles and Tools Group with Simon Peyton-Jones and Dimitrios Vytiniotis — and also collaborating with Stephanie Weirich and Steve Zdancewic, who are also … Continue reading →

Posted in haskell | Tagged , , , , , | 5 Comments