- jhc - Haskell.org

darcs patch: Fix spelling of constrain in FrontEnd.Ki... (and 16 more)
by Samuel Bronson 21 Mar '08

21 Mar '08

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

1 0

Loops.
by Lemmih 20 Mar '08

20 Mar '08

Hiya, x :: IO () -- This type signature works fine, <<loop>> is printed x :: a -- This type signature blows the stack of jhc x = x main = x Is this a known bug? -- Cheers, Lemmih

3 7

darcs patch: Oops... left out one of the most important parts of -d...
by Samuel Bronson 20 Mar '08

20 Mar '08

Thu Mar 20 15:21:34 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Oops... left out one of the most important parts of -dsquare-stats

1 0

darcs patch: Add Control.Monad.Instances to base package (and 2 more)
by Samuel Bronson 20 Mar '08

20 Mar '08

Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Category Thu Mar 20 08:55:01 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * ArrowMonad test -- valid this time oops, I left out this change in the previous version...

1 0

darcs patch: Add -dsquare-stats option for terminals with poor char...
by Samuel Bronson 20 Mar '08

20 Mar '08

Wed Mar 19 23:48:32 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add -dsquare-stats option for terminals with poor character coverage

1 0

darcs patch: Add Control.Monad.Instances to base package (and 2 more)
by Samuel Bronson 20 Mar '08

20 Mar '08

Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Category Thu Mar 20 00:37:16 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * ArrowMonad test Ooh, so close...

1 0

darcs patch: Add Control.Monad.Instances to base package (and 4 more)
by Samuel Bronson 20 Mar '08

20 Mar '08

This patch bundle consists of Control.Arrow along with the modules it depends upon. Control.Arrow does not compile even with the (->) improvement patch I previously sent to the list; I believe this to be due to problems in kind inference. Could you look at the error, John? (Recall that this should all work in *standard* haskell, and so helping will not be a violation of the moratorium on extensions.) Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Category Tue Mar 18 21:37:59 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Arrow Tue Mar 18 21:38:54 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Monad.Fix Tue Mar 18 21:43:36 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Data.Function

2 4

explanation of FrontEnd.KindInfer.constrain
by Samuel Bronson 20 Mar '08

20 Mar '08

I don't understand how FrontEnd.KindInfer.constrain is supposed to deal with KindSimple constraints... it doesn't seem to have any way of replacing ?? or ? with *. Why not?

2 15

darcs patch: Be less noisy when not in verbose mode. (and 2 more)
by Lemmih 19 Mar '08

19 Mar '08

Wed Mar 19 16:44:04 CET 2008 Lemmih <lemmih(a)gmail.com> * Be less noisy when not in verbose mode. Wed Mar 19 16:46:02 CET 2008 Lemmih <lemmih(a)gmail.com> * Print '[ X of N ] name' for each module. Wed Mar 19 16:48:48 CET 2008 Lemmih <lemmih(a)gmail.com> * Layout wibble.

1 0

darcs patch: Improve (->) situation somewhat (and 2 more)
by Samuel Bronson 18 Mar '08

18 Mar '08

Mon Mar 17 23:34:31 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Improve (->) situation somewhat Control.Arrow still won't quite work... something about Control.Arrow.172_a not getting a kind inferred... Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Add Control.Category

1 0