April 2008 - jhc - Haskell.org

Still waiting to hear back about that type error
by Samuel Bronson 23 Apr '08

23 Apr '08

John, have you looked at it yet? Are you at least working on getting Jhc to use the normal base package?

2 1

darcs patch: Makefile.am: swap order of args to sed
by gwern0＠gmail.com 21 Apr '08

21 Apr '08

Sun Apr 20 21:42:52 EDT 2008 gwern0(a)gmail.com * Makefile.am: swap order of args to sed This is necessary for building on my system; otherwise sed always fails with an error.

3 3

Announcing DarcsWatch - nomeata’s mind shares
by Samuel Bronson 18 Apr '08

18 Apr '08

Announcing DarcsWatch - nomeata's mind shares: http://www.joachim-breitner.de/blog/archives/290-guid.html John, could this be the software you've been looking for?

2 1

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

18 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 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).

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 15 Apr '08

15 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 14 Apr '08

14 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 12 Apr '08

12 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