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
* Fix spelling of constrain in FrontEnd.KindInfer error message
Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson
* Add Control.Monad.Instances to base package
Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson
* Add Control.Category
Tue Mar 18 21:37:59 EDT 2008 Samuel Bronson
* Add Control.Arrow
Tue Mar 18 21:38:54 EDT 2008 Samuel Bronson
* Add Control.Monad.Fix
Tue Mar 18 21:43:36 EDT 2008 Samuel Bronson
* Add Data.Function
Thu Mar 20 08:55:01 EDT 2008 Samuel Bronson
* 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
* get Data.Typeable working
Thu Mar 20 14:30:39 EDT 2008 Samuel Bronson
* Improve (->) situation somewhat
Thu Mar 20 15:21:34 EDT 2008 Samuel Bronson
* Oops... left out one of the most important parts of -dsquare-stats
Thu Mar 20 15:32:51 EDT 2008 Samuel Bronson
* Infer kinds based on predicates *before* looking at the type
Thu Mar 20 16:42:02 EDT 2008 Samuel Bronson
* Actually define (->)...
Thu Mar 20 17:09:09 EDT 2008 Samuel Bronson
* Nicer error handling for Ki monad
Thu Mar 20 17:09:45 EDT 2008 Samuel Bronson
* Debugging stuff in KindInfer
Thu Mar 20 17:13:05 EDT 2008 Samuel Bronson
* Swap another mapM_ kiPred about
Thu Mar 20 17:33:26 EDT 2008 Samuel Bronson
* Make Control.Category actually not import Prelude...
Fri Mar 21 00:29:22 EDT 2008 Samuel Bronson
* Split TArrows where appropriate
