- jhc - Haskell.org

darcs patch: Improve lambda/pi printing code (and 1 more)
by Samuel Bronson 17 Apr '08

17 Apr '08

Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Improve lambda/pi printing code Only only put as many lambda/pi abstractions on a line as will fit. Use sortKindLike to get the uppercase lambdas for type variables of kind other than *. (For instance, * -> *.) I had to make E.TypeCheck, E.Eval and E.Subst import E.Show with a {-# SOURCE #-} pragma before I could use sortKindLike. (I also had to write the .hs-boot file, of course). Wed Apr 16 19:26:09 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Fix kind printing for Lambdas/foralls

2 2

darcs patch: Improve lambda/pi printing code
by Samuel Bronson 16 Apr '08

16 Apr '08

Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Improve lambda/pi printing code Only only put as many lambda/pi abstractions on a line as will fit. Use sortKindLike to get the uppercase lambdas for type variables of kind other than *. (For instance, * -> *.) I had to make E.TypeCheck, E.Eval and E.Subst import E.Show with a {-# SOURCE #-} pragma before I could use sortKindLike. (I also had to write the .hs-boot file, of course).

1 1

createInstanceRules
by Samuel Bronson 15 Apr '08

15 Apr '08

Could you please take a look at the type error that happens when you apply both of the patches from "[jhc] darcs patch: Check that lhs and rhs have compatible t... (and 1 more)" and then run "perl regress/regress.prl Kleisli"? (Maybe you'll want to unpull the first one and instead just print out both types in printRule...) I'm suspicious of the line: Just (n,_) -> foldl EAp (EVar n) (vs ++ map EVar args) but not sure what it should be...

1 1

darcs patch: Check that lhs and rhs have compatible t... (and 1 more)
by Samuel Bronson 14 Apr '08

14 Apr '08

Mon Apr 14 12:31:02 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Check that lhs and rhs have compatible types in E.Rules.makeRule Also remove the unused DataTable argument to typesCompatable, since makeRule hasn't got a DataTable. Mon Apr 14 12:38:30 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Demonstrate the Kleisli problem in distilled form

1 0

darcs patch: Show both types when printing rules
by Samuel Bronson 14 Apr '08

14 Apr '08

Sun Apr 13 20:45:01 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Show both types when printing rules This turns up trouble with the Kleisli instance RULES. I guess if you copy and paste that stuff from Control.Arrow, or comment out the (->) stuff, you should see what I mean... anyway, the LHS type doesn't seem to match the RHS type.

1 0

darcs patch: Improve lambda/pi printing code
by Samuel Bronson 13 Apr '08

13 Apr '08

Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Improve lambda/pi printing code Only only put as many lambda/pi abstractions on a line as will fit. Use sortKindLike to get the uppercase lambdas for type variables of kind other than *. (For instance, * -> *.) I had to make E.TypeCheck, E.Eval and E.Subst import E.Show with a {-# SOURCE #-} pragma before I could use sortKindLike. (I also had to write the .hs-boot file, of course).

2 5

darcs patch: Use $(HC) --interactive instead of ghci, in case a non...
by Samuel Bronson 11 Apr '08

11 Apr '08

Thu Apr 10 15:34:13 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Use $(HC) --interactive instead of ghci, in case a non-default version of GHC is in use

1 0

Doc repository
by Samuel Bronson 11 Apr '08

11 Apr '08

Having the Doc repository seperate from the main jhc repository is beginning to cramp my style... I'm trying to get line breaks in sensible places in E code, and some of it seems to need coordinated changes in the Doc repository. Or might. Would it be possible to move that code into the main repository?

2 4

So, what's going on with my patches right now?
by Samuel Bronson 07 Apr '08

07 Apr '08

Tried them? Any comments? Advice? Questions?

2 2

darcs patch: Fix kind inference + test (and 6 more)
by Samuel Bronson 04 Apr '08

04 Apr '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!) Fri Mar 21 00:29:22 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Split TArrows where appropriate Thu Mar 20 16:42:02 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Actually define (->)... 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 17:33:26 EDT 2008 Samuel Bronson <naesten(a)gmail.com> * Make Control.Category actually not import Prelude...

2 5