March 2008 - jhc - Haskell.org

darcs patch: Make Data.Char not depend on Prelude anymore
by Samuel Bronson 31 Mar '08

31 Mar '08

Mon Mar 31 19:24:37 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Make Data.Char not depend on Prelude anymore Yay for reducing the size of the monster SCC

1 0

darcs patch: Fix kind inference + test (and 1 more)
by Samuel Bronson 31 Mar '08

31 Mar '08

Mon Mar 31 07:28:01 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Fix kind inference + test Also, comment out the case in kindOf that makes things look fine when they aren't -- unless of course * isn't the right kind Mon Mar 31 11:18:39 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Work around type inference bug relating to main (I didn't do it!)

1 0

darcs patch: Not everyone has a fast computer -- extend default reg...
by Samuel Bronson 31 Mar '08

31 Mar '08

Mon Mar 31 14:37:58 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Not everyone has a fast computer -- extend default regression test timeout to compensate for this

1 0

darcs patch: Fix kind inference + test
by Samuel Bronson 31 Mar '08

31 Mar '08

Sun Mar 30 19:43:26 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Fix kind inference + test Also, comment out the case in kindOf that makes things look fine when they aren't -- unless of course * isn't the right kind

1 1

darcs patch: Change base.cabal to reflect Jhc.IOARray -> Data.Array...
by Samuel Bronson 30 Mar '08

30 Mar '08

Sun Mar 30 16:03:03 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Change base.cabal to reflect Jhc.IOARray -> Data.Array.IO move

1 0

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

30 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: Allow irrefutable patterns in lambdas + regression test
by Samuel Bronson 30 Mar '08

30 Mar '08

Sun Mar 30 00:33:58 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Allow irrefutable patterns in lambdas + regression test

1 0

(->) not working too well...
by Samuel Bronson 28 Mar '08

28 Mar '08

This fails horribly in Jhc: {-# OPTIONS_NHC98 --prelude #-} ----------------------------------------------------------------------------- -- | -- Module : Control.Monad.Instances -- Copyright : (c) The University of Glasgow 2001 -- License : BSD-style (see the file libraries/base/LICENSE) -- -- Maintainer : libraries(a)haskell.org -- Stability : provisional -- Portability : portable -- -- 'Functor' and 'Monad' instances for @(->) r@ and -- 'Functor' instances for @(,) a@ and @'Either' a@. module Control.Monad.Instances (Functor(..),Monad(..)) where import Prelude instance Functor ((->) r) where fmap = (.) instance Monad ((->) r) where return = const f >>= k = \ r -> k (f r) r instance Functor ((,) a) where fmap f (x,y) = (x, f y) instance Functor (Either a) where fmap _ (Left x) = Left x fmap f (Right y) = Right (f y)

3 10

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