This is just a dump of all of the patches in my tree at the moment, since I'm leaving tomorrow for easter... Tue Mar 18 14:18:41 EDT 2008 Samuel Bronson <naesten@gmail.com> * Fix spelling of constrain in FrontEnd.KindInfer error message Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson <naesten@gmail.com> * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson <naesten@gmail.com> * Add Control.Category Tue Mar 18 21:37:59 EDT 2008 Samuel Bronson <naesten@gmail.com> * Add Control.Arrow Tue Mar 18 21:38:54 EDT 2008 Samuel Bronson <naesten@gmail.com> * Add Control.Monad.Fix Tue Mar 18 21:43:36 EDT 2008 Samuel Bronson <naesten@gmail.com> * Add Data.Function Thu Mar 20 08:55:01 EDT 2008 Samuel Bronson <naesten@gmail.com> * ArrowMonad test -- valid this time oops, I left out this change in the previous version... Thu Mar 20 12:01:16 EDT 2008 Samuel Bronson <naesten@gmail.com> * get Data.Typeable working Thu Mar 20 14:30:39 EDT 2008 Samuel Bronson <naesten@gmail.com> * Improve (->) situation somewhat Thu Mar 20 15:21:34 EDT 2008 Samuel Bronson <naesten@gmail.com> * Oops... left out one of the most important parts of -dsquare-stats Thu Mar 20 15:32:51 EDT 2008 Samuel Bronson <naesten@gmail.com> * Infer kinds based on predicates *before* looking at the type Thu Mar 20 16:42:02 EDT 2008 Samuel Bronson <naesten@gmail.com> * Actually define (->)... Thu Mar 20 17:09:09 EDT 2008 Samuel Bronson <naesten@gmail.com> * Nicer error handling for Ki monad Thu Mar 20 17:09:45 EDT 2008 Samuel Bronson <naesten@gmail.com> * Debugging stuff in KindInfer Thu Mar 20 17:13:05 EDT 2008 Samuel Bronson <naesten@gmail.com> * Swap another mapM_ kiPred about Thu Mar 20 17:33:26 EDT 2008 Samuel Bronson <naesten@gmail.com> * Make Control.Category actually not import Prelude... Fri Mar 21 00:29:22 EDT 2008 Samuel Bronson <naesten@gmail.com> * Split TArrows where appropriate