From alexey at cs.uu.nl  Fri Feb  1 10:37:50 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb  1 10:37:05 2008
Subject: [Hs-Generics] patch applied (generics): NGRose is not representable
	in EMGM either.
Message-ID: <20080201153750.GA25575@haskell.galois.com>

Fri Feb  1 06:39:28 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * NGRose is not representable in EMGM either.

    M ./comparison/EMGM/GEq.lhs +5
From alexey at cs.uu.nl  Fri Feb  1 10:37:48 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb  1 10:37:06 2008
Subject: [Hs-Generics] patch applied (generics): RepLib does not support
	GRose & NGRose
Message-ID: <20080201153748.GA25553@haskell.galois.com>

Fri Feb  1 05:42:43 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * RepLib does not support GRose & NGRose

    M ./comparison/RepLib/GEq.lhs -1 +5
From alexey at cs.uu.nl  Fri Feb  1 10:37:51 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb  1 10:37:06 2008
Subject: [Hs-Generics] patch applied (generics): Simplified NGRose test a
	bit, but it is still as demanding to implement
Message-ID: <20080201153751.GA25591@haskell.galois.com>

Fri Feb  1 07:35:20 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Simplified NGRose test a bit, but it is still as demanding to implement

    M ./comparison/EMGM/GEq.lhs +1
    M ./comparison/LIGD/NGRoseReps.hs -20 +16
    M ./comparison/NGRoseDatatype.hs -4 +4
From alexey at cs.uu.nl  Mon Feb  4 08:47:29 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb  4 08:46:34 2008
Subject: [Hs-Generics] patch applied (generics): Print more test info,
	minor renaming towards paper usage, test overview.
Message-ID: <20080204134729.GA3078@haskell.galois.com>

Mon Feb  4 03:20:26 PST 2008  patrikj@chalmers.se
  * Print more test info, minor renaming towards paper usage, test overview.

    M ./comparison/EMGM/FoldTree.lhs -4 +4
    M ./comparison/EMGM/GEq.lhs -1 +1
    M ./comparison/EMGM/RmWeights.lhs -3 +3
    M ./comparison/EMGM/TreeReps.hs -10 +10
    M ./comparison/log.txt -9 +8
    M ./comparison/test.hs -1 +1
From alexey at cs.uu.nl  Mon Feb  4 08:47:28 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb  4 08:46:35 2008
Subject: [Hs-Generics] patch applied (generics): Minor edits - mainly
	comments summarising the tests
Message-ID: <20080204134727.GA3055@haskell.galois.com>

Mon Feb  4 02:34:48 PST 2008  patrikj@chalmers.se
  * Minor edits - mainly comments summarising the tests

    M ./comparison/Common.lhs -2 +2
    M ./comparison/EMGM/BinTreeReps2.hs +2
    M ./comparison/EMGM/FoldTree.lhs -1 +2
    M ./comparison/EMGM/GL2.hs -1
    M ./comparison/SYB1_2/GRoseInstances.hs -1 +1
    M ./comparison/TestFoldTree.lhs -1 +1
    M ./comparison/TestGEq.lhs -3 +3
    M ./comparison/TestGEqBTree.lhs -7 +3
    M ./comparison/TestGEqGRose.lhs -1 +1
    M ./comparison/TestGMap.lhs -6 +5
    M ./comparison/TestGShow.lhs -2 +1
    M ./comparison/TestGShowExt.lhs -1 +1
    M ./comparison/TestNested.lhs -1 +1
    M ./comparison/TestReduce.lhs -2 +2
    M ./comparison/TestSelectSalary.lhs -1 +1
    M ./comparison/log.txt +46
    M ./comparison/test.hs -13 +10
From alexey at cs.uu.nl  Mon Feb  4 10:24:36 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb  4 10:23:41 2008
Subject: [Hs-Generics] patch applied (generics): NGRoseReps added and made
	NGRose to work under EMGM
Message-ID: <20080204152436.GA7517@haskell.galois.com>

Mon Feb  4 07:12:10 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * NGRoseReps added and made NGRose to work under EMGM

    M ./comparison/EMGM/GEq.lhs -3 +9
    A ./comparison/EMGM/NGRoseReps.hs
From alexey at cs.uu.nl  Tue Feb  5 04:23:20 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb  5 04:22:25 2008
Subject: [Hs-Generics] patch applied (generics): Some renaming to match
	paper + added some comments
Message-ID: <20080205092320.GA480@haskell.galois.com>

Mon Feb  4 10:00:39 PST 2008  patrikj@chalmers.se
  * Some renaming to match paper + added some comments

     ./comparison/TestFoldTree.exp -> ./comparison/TestSelectInt.exp
     ./comparison/TestFoldTree.lhs -> ./comparison/TestSelectInt.lhs
    M ./comparison/EMGM/FoldTree.lhs -1 +1
    M ./comparison/Smash/FoldTree.hs -1 +2
    M ./comparison/TestSelectInt.lhs -3 +1
    M ./comparison/TestSelectSalary.lhs -1 +1
    M ./comparison/Uniplate/FoldTree.lhs +1
    M ./comparison/log.txt -2 +27
    M ./comparison/test.hs -4 +4
From alexey at cs.uu.nl  Tue Feb  5 04:23:24 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb  5 04:22:26 2008
Subject: [Hs-Generics] patch applied (generics): listifyInt -> selectInt
Message-ID: <20080205092323.GA502@haskell.galois.com>

Mon Feb  4 11:25:13 PST 2008  patrikj@chalmers.se
  * listifyInt -> selectInt

    M ./comparison/DTC/FoldTree.lhs -9 +9
    M ./comparison/EMGM/FoldTree.lhs -2 +2
    M ./comparison/GM/FoldTree.lhs -7 +7
    M ./comparison/LIGD/FoldTree.lhs -12 +12
    M ./comparison/NOW/FoldTree.lhs -1 +1
    M ./comparison/PolyP/FoldTree.lhs -2 +2
    M ./comparison/RepLib/FoldTree.lhs -2 +2
    M ./comparison/SYB1_2/FoldTree.lhs -2 +2
    M ./comparison/Smash/FoldTree.hs -5 +5
    M ./comparison/SmashA/Deserialize.hs -1 +1
    M ./comparison/SmashA/FoldTree.hs -5 +5
    M ./comparison/Spine/FoldTree.lhs -2 +2
    M ./comparison/TestSelectInt.lhs -3 +3
    M ./comparison/Uniplate/FoldTree.lhs -2 +2
    M ./comparison/log.txt -3 +3
From alexey at cs.uu.nl  Tue Feb  5 04:23:25 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb  5 04:22:26 2008
Subject: [Hs-Generics] patch applied (generics): listify -> select in most
	places
Message-ID: <20080205092325.GA519@haskell.galois.com>

Mon Feb  4 12:07:30 PST 2008  patrikj@chalmers.se
  * listify -> select in most places

    M ./comparison/DTC/FoldTree.lhs -21 +21
    M ./comparison/EMGM/FoldTree.lhs -35 +35
    M ./comparison/EMGM/GMapQ.lhs -2 +2
    M ./comparison/GM/FoldTree.lhs -13 +13
    M ./comparison/LIGD/FoldTree.lhs -3 +3
    M ./comparison/NOW/FoldTree.lhs -1 +1
    M ./comparison/PolyP/FoldTree.lhs -2 +2
    M ./comparison/SYB1_2/FoldTree.lhs -2 +2
    M ./comparison/Smash/FoldTree.hs -5 +5
    M ./comparison/SmashA/Deserialize.hs -2 +2
    M ./comparison/SmashA/FoldTree.hs -4 +4
    M ./comparison/Spine/FoldTree.lhs -3 +3
    M ./comparison/TestHigherOrder2.lhs -2 +2
    M ./comparison/TestSelectInt.lhs -1 +1
    M ./comparison/Uniplate/FoldTree.lhs -2 +2
    M ./comparison/log.txt -6 +10
From alexey at cs.uu.nl  Wed Feb  6 07:30:39 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb  6 07:29:37 2008
Subject: [Hs-Generics] patch applied (generics): Removed repeated printing
	of library name in test reports
Message-ID: <20080206123038.GA30377@haskell.galois.com>

Tue Feb  5 06:15:32 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Removed repeated printing of library name in test reports

    M ./comparison/test.hs -1 +3
From alexey at cs.uu.nl  Wed Feb  6 07:30:40 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb  6 07:29:38 2008
Subject: [Hs-Generics] patch applied (generics): Added a generic generate
	(gfulltree) function for LIGD
Message-ID: <20080206123040.GA30401@haskell.galois.com>

Wed Feb  6 04:23:29 PST 2008  alex@cs.uu.nl
  * Added a generic generate (gfulltree) function for LIGD

    M ./comparison/LIGD/Efficiency.lhs -6 +17
From alexey at cs.uu.nl  Mon Feb 11 07:18:52 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 07:17:34 2008
Subject: [Hs-Generics] patch applied (generics): Some polishing
Message-ID: <20080211121852.GA6032@haskell.galois.com>

Mon Feb 11 03:57:18 PST 2008  patrikj@chalmers.se
  * Some polishing

    M ./comparison/EMGM/GShow.lhs -19 +30
    M ./comparison/EMGM/GShowDef.lhs -1
    M ./comparison/LIGD/Nested.lhs -3 +3
    M ./comparison/README -3 +3
    M ./comparison/TestGShowExt.lhs -1
    M ./comparison/log.txt +9
From alexey at cs.uu.nl  Mon Feb 11 15:43:49 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:29 2008
Subject: [Hs-Generics] patch applied (generics): Reduce -> CrushRight,
	big patch
Message-ID: <20080211204349.GA15135@haskell.galois.com>

Mon Feb 11 12:38:59 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Reduce -> CrushRight, big patch
  
  * Changed names from Reduce -> CrushRight
  * Updated LIGD + representation + massive cleanup of CrushRight
  * Updated EMGM + massive cleanup of CrushRight
  * Changed back reporting of results in test.hs
  

     ./comparison/EMGM/Reduce.lhs -> ./comparison/EMGM/CrushRight.lhs
     ./comparison/LIGD/Reduce.lhs -> ./comparison/LIGD/CrushRight.lhs
     ./comparison/TestReduce.exp -> ./comparison/TestCrushRight.exp
     ./comparison/TestReduce.lhs -> ./comparison/TestCrushRight.lhs
    M ./comparison/EMGM/CrushRight.lhs -33 +57
    M ./comparison/LIGD/BinTreeReps.hs -1 +1
    M ./comparison/LIGD/CrushRight.lhs -43 +69
    M ./comparison/LIGD/LIGD.lhs -27 +27
    M ./comparison/LIGD/TreeReps.hs -1 +1
    M ./comparison/TestCrushRight.lhs -2 +2
    M ./comparison/test.hs -4 +2
From alexey at cs.uu.nl  Mon Feb 11 15:43:47 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:30 2008
Subject: [Hs-Generics] patch applied (generics): Only comments
Message-ID: <20080211204347.GA15113@haskell.galois.com>

Mon Feb 11 04:47:56 PST 2008  patrikj@chalmers.se
  * Only comments

    M ./comparison/log.txt -9 +63
From alexey at cs.uu.nl  Mon Feb 11 15:43:50 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:31 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] for EMGM:
	polishing
Message-ID: <20080211204350.GA15151@haskell.galois.com>

Mon Feb 11 05:06:53 PST 2008  patrikj@chalmers.se
  * GShow[Ext] for EMGM: polishing

    M ./comparison/EMGM/GShow.lhs -29
    M ./comparison/EMGM/GShowExt.lhs -22 +14
    M ./comparison/TestGShow.lhs -2 +1
    M ./comparison/TestGShowExt.lhs -1 +1
    M ./comparison/log.txt +1
From alexey at cs.uu.nl  Mon Feb 11 15:43:51 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:33 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] for LIGD
	implemented (when possible)
Message-ID: <20080211204351.GA15168@haskell.galois.com>

Mon Feb 11 05:40:33 PST 2008  patrikj@chalmers.se
  * GShow[Ext] for LIGD implemented (when possible)

    M ./comparison/LIGD/GShow.lhs -39 +12
    A ./comparison/LIGD/GShowDef.lhs
    A ./comparison/LIGD/GShowExt.lhs
    M ./comparison/log.txt -1 +6
From alexey at cs.uu.nl  Mon Feb 11 15:43:53 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:33 2008
Subject: [Hs-Generics] patch applied (generics): GShow[ext] RepLib updates
	(minimal imports, etc.) + simplification of same test for EMGM
Message-ID: <20080211204353.GA15184@haskell.galois.com>

Mon Feb 11 06:26:44 PST 2008  patrikj@chalmers.se
  * GShow[ext] RepLib updates (minimal imports, etc.) + simplification of same test for EMGM

    M ./comparison/Common.lhs -1 +1
    M ./comparison/EMGM/GShowExt.lhs -4 +2
    M ./comparison/RepLib/CompanyReps.hs -1 +1
    M ./comparison/RepLib/GShow.lhs -8 +4
    M ./comparison/RepLib/GShowDef.lhs -2
    M ./comparison/RepLib/GShowExt.lhs -8 +4
From alexey at cs.uu.nl  Mon Feb 11 15:43:54 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:36 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] PolyP (trivially
	failing cases added)
Message-ID: <20080211204354.GA15200@haskell.galois.com>

Mon Feb 11 06:32:35 PST 2008  patrikj@chalmers.se
  * GShow[Ext] PolyP (trivially failing cases added)

    M ./comparison/PolyP/GShow.lhs -6 +2
    A ./comparison/PolyP/GShowExt.lhs
    M ./comparison/log.txt -6 +2
From alexey at cs.uu.nl  Mon Feb 11 15:43:55 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:37 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] Spine: removed
	cheating in GShow, added (failing) GShowExt
Message-ID: <20080211204355.GA15216@haskell.galois.com>

Mon Feb 11 06:44:30 PST 2008  patrikj@chalmers.se
  * GShow[Ext] Spine: removed cheating in GShow, added (failing) GShowExt

    M ./comparison/Spine/GShow.lhs -4 +6
    A ./comparison/Spine/GShowExt.lhs
From alexey at cs.uu.nl  Mon Feb 11 15:43:57 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:39 2008
Subject: [Hs-Generics] patch applied (generics): GShow SYB1_2 fixes
Message-ID: <20080211204357.GA15232@haskell.galois.com>

Mon Feb 11 06:58:21 PST 2008  patrikj@chalmers.se
  * GShow SYB1_2 fixes

    M ./comparison/SYB1_2/GShow.lhs -30 +10
    M ./comparison/log.txt -2 +5
From alexey at cs.uu.nl  Mon Feb 11 15:43:58 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 11 15:42:39 2008
Subject: [Hs-Generics] patch applied (generics): GShowExt SYB1_2 added
	(working)
Message-ID: <20080211204358.GA15248@haskell.galois.com>

Mon Feb 11 12:19:10 PST 2008  patrikj@chalmers.se
  * GShowExt SYB1_2 added (working)

    A ./comparison/SYB1_2/GShowExt.lhs
From alexey at cs.uu.nl  Tue Feb 12 06:31:22 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb 12 06:30:02 2008
Subject: [Hs-Generics] patch applied (generics): SYB1_2 fails for CrushRight.
Message-ID: <20080212113122.GA7069@haskell.galois.com>

Mon Feb 11 13:01:02 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * SYB1_2 fails for CrushRight.

     ./comparison/SYB1_2/Reduce.lhs -> ./comparison/SYB1_2/CrushRight.lhs
    M ./comparison/SYB1_2/CrushRight.lhs -10 +19
From alexey at cs.uu.nl  Tue Feb 12 06:31:24 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb 12 06:30:02 2008
Subject: [Hs-Generics] patch applied (generics): Simplification of
	representation of arity two
Message-ID: <20080212113124.GA7085@haskell.galois.com>

Tue Feb 12 03:25:04 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Simplification of representation of arity two
  
  Previously the arity two representation was
  |data Rep2 f a b c d = ...| where |c| and |c|
  represented the non-generic variables (for
  example for the two variables used in crushRight:
  |Rep2 CrushRight a b c d| and
  |newtype CrushRight  c b a x = CrushRight { crushRight :: (c -> b -> b) -> b -> a -> b }
  ).
  It turns out that |Rep2| does not need the additional c and d,
  we do the same thing that the EMGM version of the test was doing:
  > data Rep2 f a b = ...
  > newtype CrushRight c b a x = CrushRight { crushRight :: (c -> b -> b) -> b -> a -> b }
  so it is represented as |Rep2 (CrushRight c d) a b|.
  

    M ./comparison/LIGD/BinTreeReps.hs -1 +1
    M ./comparison/LIGD/CrushRight.lhs -5 +4
    M ./comparison/LIGD/GMap.lhs -6 +4
    M ./comparison/LIGD/LIGD.lhs -27 +27
    M ./comparison/LIGD/TreeReps.hs -1 +1
From alexey at cs.uu.nl  Tue Feb 12 14:12:19 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb 12 14:11:01 2008
Subject: [Hs-Generics] patch applied (generics): Further simplifications in
	CrushRight for LIGD and EMGM, as per RepLib paper section 5
Message-ID: <20080212191219.GA16151@haskell.galois.com>

Tue Feb 12 09:45:49 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5

    M ./comparison/EMGM/CrushRight.lhs -20 +20
    M ./comparison/LIGD/CrushRight.lhs -23 +24
From alexey at cs.uu.nl  Tue Feb 12 14:12:21 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb 12 14:11:01 2008
Subject: [Hs-Generics] patch applied (generics): CrushRight working for
	RepLib, not very satisfactory though.
Message-ID: <20080212191221.GA16174@haskell.galois.com>

Tue Feb 12 10:56:31 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * CrushRight working for RepLib, not very satisfactory though.
  
  * crushRight is instantiated to perform operations on the
    |a| elements of |WTree a w|. So the type class approach from the
    paper does not work very well. It would mean a different
    typeclass per kind. The same would happen if you would want
    to obtain | (a->b) -> WTree a w -> WTree b w |.
  * Okay, so let's forget about type classes right? This is still
    painful. Let us see the problems:
    * The representation of lists, for example, is something like
      |R f [a]|, but in order to construct it, the function |rList1|
      needs a function |f a| and another |f [a]|. The former is sort
      of okay, you need to know how to process elements. The second
      is tricky, but needed in RepLib: it is used for extension.
      Normally you use typeclasses to simplify building the second.
      So now instantiating crushRight has become quite more difficult
      than in other approaches.
    * The second problem has to do with a more complex type expression,
      like [WTree a w], that is, a list of WTree's. Now, if you want
      to build a list rep, you must a pass a function that works on
      WTree's. This means that the representation of WTree's which builds
      a representation for them, must be converted to a function that only
      then can be passed to rList1, the builder of list representations.
      You can see that in function r2crsh. Needless to say this makes things
      more complicated than in other approaches.
  
  Solutions wanted!
  

    A ./comparison/RepLib/CrushRight.lhs
    R ./comparison/RepLib/Reduce.lhs
From alexey at cs.uu.nl  Tue Feb 12 14:12:22 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Feb 12 14:11:02 2008
Subject: [Hs-Generics] patch applied (generics): Small edit on RepLib's
	crushRight
Message-ID: <20080212191222.GA16190@haskell.galois.com>

Tue Feb 12 11:09:31 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Small edit on RepLib's crushRight

    M ./comparison/RepLib/CrushRight.lhs -3 +1
From alexey at cs.uu.nl  Wed Feb 13 08:09:33 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 08:08:10 2008
Subject: [Hs-Generics] patch applied (generics): Universe extension tests
	and separate compilation test
Message-ID: <20080213130933.GA4109@haskell.galois.com>

Wed Feb 13 04:54:18 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Universe extension tests and separate compilation test
  
  * Universe extension to datatype T is called TestGEqT.
  * The separate compilation test is called TestGEq.
    It is tested on the BinTree datatype, so it is assumed
    to be supported (i.e. universe extension to it is possible)
    by all approches.
  * Maybe it would be good to add a universe extension test for
    BinTree anyway. At the moment it is missing.
  

     ./comparison/TestGEq.exp -> ./comparison/TestGEqCompany.exp
     ./comparison/TestGEq.lhs -> ./comparison/TestGEqCompany.lhs
     ./comparison/TestGEqBTree.exp -> ./comparison/TestGEq.exp
     ./comparison/TestGEqBTree.lhs -> ./comparison/TestGEq.lhs
    M ./comparison/TestGEq.lhs -1 +2
    M ./comparison/TestGEqCompany.lhs -2 +1
    M ./comparison/TestGEqGRose.lhs -1 +4
    M ./comparison/TestGEqNGRose.lhs +4
    M ./comparison/test.hs -5 +5
From alexey at cs.uu.nl  Wed Feb 13 08:09:35 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 08:08:10 2008
Subject: [Hs-Generics] patch applied (generics): TestHigherOrder ->
	TestGMapQ1
Message-ID: <20080213130935.GA4131@haskell.galois.com>

Wed Feb 13 05:08:32 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * TestHigherOrder -> TestGMapQ1

     ./comparison/TestHigherOrder1.exp -> ./comparison/TestGMapQ1.exp
     ./comparison/TestHigherOrder1.lhs -> ./comparison/TestGMapQ1.lhs
     ./comparison/TestHigherOrder2.exp -> ./comparison/TestGMapQ2.exp
     ./comparison/TestHigherOrder2.lhs -> ./comparison/TestGMapQ2.lhs
    M ./comparison/test.hs -1 +1
From alexey at cs.uu.nl  Wed Feb 13 15:07:55 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 15:06:31 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] Smash: added
	tests. They fail.
Message-ID: <20080213200755.GA12704@haskell.galois.com>

Wed Feb 13 04:08:10 PST 2008  patrikj@chalmers.se
  * GShow[Ext] Smash: added tests. They fail.

    M ./comparison/Smash/GShow.hs -30 +86
    A ./comparison/Smash/GShowExt.hs
    M ./comparison/Smash/Syb4.hs -2 +2
    M ./comparison/log.txt -5 +5
From alexey at cs.uu.nl  Wed Feb 13 15:07:56 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 15:06:32 2008
Subject: [Hs-Generics] patch applied (generics): GShow[Ext] Uniplate added
	(failing)
Message-ID: <20080213200756.GA12726@haskell.galois.com>

Wed Feb 13 04:29:54 PST 2008  patrikj@chalmers.se
  * GShow[Ext] Uniplate added (failing)

    A ./comparison/Uniplate/GShow.lhs
    A ./comparison/Uniplate/GShowExt.lhs
    M ./comparison/log.txt -3 +3
From alexey at cs.uu.nl  Wed Feb 13 15:07:58 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 15:06:33 2008
Subject: [Hs-Generics] patch applied (generics): FoldTree updated over all
	approaches
Message-ID: <20080213200758.GA12742@haskell.galois.com>

Wed Feb 13 07:03:04 PST 2008  patrikj@chalmers.se
  * FoldTree updated over all approaches

    M ./comparison/EMGM/FoldTree.lhs -49 +52
    M ./comparison/LIGD/FoldTree.lhs -10 +11
    M ./comparison/PolyP/FoldTree.lhs -3 +8
    M ./comparison/PolyP/GEqTree.lhs -21 +1
    M ./comparison/PolyP/PolyLib/Flatten.hs +1
    M ./comparison/RepLib/FoldTree.lhs -2 +2
    M ./comparison/SYB1_2/FoldTree.lhs -4 +2
    M ./comparison/Smash/FoldTree.hs -4 +6
    M ./comparison/Spine/FoldTree.lhs -3 +2
    M ./comparison/Spine/GMapQ.lhs -1 +1
    M ./comparison/Uniplate/Data/Generics/PlateData.hs -1
    M ./comparison/log.txt -5 +13
From alexey at cs.uu.nl  Wed Feb 13 15:07:59 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 13 15:06:34 2008
Subject: [Hs-Generics] patch applied (generics): Forgotten file last check-in
Message-ID: <20080213200759.GA12758@haskell.galois.com>

Wed Feb 13 07:04:31 PST 2008  patrikj@chalmers.se
  * Forgotten file last check-in

    A ./comparison/PolyP/TreeRep.lhs
From alexey at cs.uu.nl  Fri Feb 15 09:57:15 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:45 2008
Subject: [Hs-Generics] patch applied (generics): Fixed Uniplate with ghc 6.8
	(by merging patches from uniplate repo.)
Message-ID: <20080215145715.GA31390@haskell.galois.com>

Fri Feb 15 01:10:09 PST 2008  patrikj@chalmers.se
  * Fixed Uniplate with ghc 6.8 (by merging patches from uniplate repo.)

    M ./comparison/Uniplate/Data/Generics/PlateData.hs -2 +3
    M ./comparison/Uniplate/Data/Generics/PlateDirect.hs -1 +1
    M ./comparison/Uniplate/Data/Generics/PlateTypeable.hs -1 +1
    M ./comparison/Uniplate/Data/Generics/Uniplate.hs -3 +12
    A ./comparison/Uniplate/log.txt
    M ./comparison/log.txt -1 +6
From alexey at cs.uu.nl  Fri Feb 15 09:57:17 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:45 2008
Subject: [Hs-Generics] patch applied (generics): Uniplate Nested loops for
	me => disabled test (needs investigation)
Message-ID: <20080215145716.GA31413@haskell.galois.com>

Fri Feb 15 01:11:36 PST 2008  patrikj@chalmers.se
  * Uniplate Nested loops for me => disabled test (needs investigation)

    M ./comparison/Uniplate/Nested.lhs -1 +4
From alexey at cs.uu.nl  Fri Feb 15 09:57:18 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:47 2008
Subject: [Hs-Generics] patch applied (generics): Just documentation
Message-ID: <20080215145718.GA31429@haskell.galois.com>

Fri Feb 15 01:12:23 PST 2008  patrikj@chalmers.se
  * Just documentation

    M ./comparison/log.txt -2 +2
From alexey at cs.uu.nl  Fri Feb 15 09:57:19 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:49 2008
Subject: [Hs-Generics] patch applied (generics): GMap LIGD recoded
Message-ID: <20080215145719.GA31445@haskell.galois.com>

Fri Feb 15 02:12:02 PST 2008  patrikj@chalmers.se
  * GMap LIGD recoded

    M ./comparison/LIGD/GMap.lhs -57 +8
    A ./comparison/LIGD/GMapDef.lhs
    M ./comparison/log.txt +11
From alexey at cs.uu.nl  Fri Feb 15 09:57:21 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:49 2008
Subject: [Hs-Generics] patch applied (generics): GMap for EMGM updated
Message-ID: <20080215145721.GA31461@haskell.galois.com>

Fri Feb 15 02:24:04 PST 2008  patrikj@chalmers.se
  * GMap for EMGM updated

    M ./comparison/EMGM/GMap.lhs -20 +7
    A ./comparison/EMGM/GMapDef.lhs
From alexey at cs.uu.nl  Fri Feb 15 09:57:22 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:51 2008
Subject: [Hs-Generics] patch applied (generics): GMap PolyP minor updates
Message-ID: <20080215145722.GA31477@haskell.galois.com>

Fri Feb 15 02:27:11 PST 2008  patrikj@chalmers.se
  * GMap PolyP minor updates

    M ./comparison/PolyP/GMap.lhs -3 +2
From alexey at cs.uu.nl  Fri Feb 15 09:57:23 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:53 2008
Subject: [Hs-Generics] patch applied (generics): GMap Spine done (failing
	test)
Message-ID: <20080215145723.GA31493@haskell.galois.com>

Fri Feb 15 02:43:59 PST 2008  patrikj@chalmers.se
  * GMap Spine done (failing test)

    M ./comparison/Spine/GMap.lhs -5 +9
    A ./comparison/Spine/GMapDef.lhs
From alexey at cs.uu.nl  Fri Feb 15 09:57:25 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:53 2008
Subject: [Hs-Generics] patch applied (generics): GMap SYB1_2 clarified that
	gmap cannot be defined
Message-ID: <20080215145725.GA31510@haskell.galois.com>

Fri Feb 15 02:50:15 PST 2008  patrikj@chalmers.se
  * GMap SYB1_2 clarified that gmap cannot be defined

    M ./comparison/SYB1_2/GMap.lhs -4 +4
From alexey at cs.uu.nl  Fri Feb 15 09:57:27 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:55 2008
Subject: [Hs-Generics] patch applied (generics): GMap RepLib: only comment
	(comp.error. Alex working on it, I guess)
Message-ID: <20080215145726.GA31526@haskell.galois.com>

Fri Feb 15 02:55:43 PST 2008  patrikj@chalmers.se
  * GMap RepLib: only comment (comp.error. Alex working on it, I guess)

    M ./comparison/log.txt +1
From alexey at cs.uu.nl  Fri Feb 15 09:57:28 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:57 2008
Subject: [Hs-Generics] patch applied (generics): GMap Smash: not supported
Message-ID: <20080215145728.GA31543@haskell.galois.com>

Fri Feb 15 03:06:43 PST 2008  patrikj@chalmers.se
  * GMap Smash: not supported

    A ./comparison/Smash/GMap.hs
    M ./comparison/log.txt -2 +2
From alexey at cs.uu.nl  Fri Feb 15 09:57:30 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:55:58 2008
Subject: [Hs-Generics] patch applied (generics): GMap Uniplate added
	(failing) + forgotten line in Smash addition
Message-ID: <20080215145730.GA31559@haskell.galois.com>

Fri Feb 15 03:11:34 PST 2008  patrikj@chalmers.se
  * GMap Uniplate added (failing) + forgotten line in Smash addition

    M ./comparison/Smash/GMap.hs -1 +1
    A ./comparison/Uniplate/GMap.lhs
From alexey at cs.uu.nl  Fri Feb 15 09:57:31 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 09:56:00 2008
Subject: [Hs-Generics] patch applied (generics): Removed SYB_w_cl from
	test.hs (the library does not exist in this repository)
Message-ID: <20080215145731.GA31575@haskell.galois.com>

Fri Feb 15 03:14:53 PST 2008  patrikj@chalmers.se
  * Removed SYB_w_cl from test.hs (the library does not exist in this repository)

    M ./comparison/Spine/GMap.lhs -1 +1
    M ./comparison/log.txt -4 +2
    M ./comparison/test.hs -1 +1
From ndmitchell at gmail.com  Fri Feb 15 10:22:26 2008
From: ndmitchell at gmail.com (Neil Mitchell)
Date: Fri Feb 15 10:20:53 2008
Subject: [Hs-Generics] patch applied (generics): Uniplate Nested loops for
	me => disabled test (needs investigation)
In-Reply-To: <20080215145716.GA31413@haskell.galois.com>
References: <20080215145716.GA31413@haskell.galois.com>
Message-ID: <404396ef0802150722n48192280pff83e96cfeb4b51@mail.gmail.com>

Hi

>   * Uniplate Nested loops for me => disabled test (needs investigation)

I just tried this, and it works fine, giving [ok] as the result.
Perhaps you need to clean up some temporary files or something? I'm
not entirely sure how the build system is set up, so can't guarantee
that on my system its not pulling in the local Uniplate library
(although I doubt it).

Thanks

Neil
From alexey at cs.uu.nl  Fri Feb 15 18:32:42 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 15 18:31:10 2008
Subject: [Hs-Generics] patch applied (generics): Add rmWeights to Uniplate
Message-ID: <20080215233242.GA8455@haskell.galois.com>

Fri Feb 15 07:24:50 PST 2008  Neil Mitchell
  * Add rmWeights to Uniplate

    A ./comparison/Uniplate/RmWeights.lhs
From alexey at cs.uu.nl  Wed Feb 20 08:06:20 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Wed Feb 20 08:04:35 2008
Subject: [Hs-Generics] patch applied (generics): make gshowExt for SYB1_2
	(see SYB1_2/GShowExt.lhs for explanation)
Message-ID: <20080220130620.GA21391@haskell.galois.com>

Wed Feb 20 03:23:36 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * make gshowExt for SYB1_2 (see SYB1_2/GShowExt.lhs for explanation)

    M ./comparison/SYB1_2/GShowExt.lhs -2 +8
From alexey at cs.uu.nl  Thu Feb 21 07:54:54 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 07:53:04 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights implementation
	for Spine.
Message-ID: <20080221125454.GA19902@haskell.galois.com>

Wed Feb 20 12:46:34 PST 2008  alex@cs.uu.nl
  * RmWeights implementation for Spine.

    A ./comparison/Spine/RmWeights.lhs
From alexey at cs.uu.nl  Thu Feb 21 07:54:55 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 07:53:04 2008
Subject: [Hs-Generics] patch applied (generics): Allowing cheating for LIGD
	and Spine in ad-hoc cases for constructors
Message-ID: <20080221125455.GA19924@haskell.galois.com>

Thu Feb 21 04:52:45 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Allowing cheating for LIGD and Spine in ad-hoc cases for constructors

    M ./comparison/TestRmWeights.lhs +5
From alexey at cs.uu.nl  Thu Feb 21 10:01:46 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 09:59:56 2008
Subject: [Hs-Generics] patch applied (generics): Nested Uniplate: works
	again (I had some strange mix of half-updated uniplate
	versions installed)
Message-ID: <20080221150146.GA22345@haskell.galois.com>

Sat Feb 16 04:03:32 PST 2008  patrikj@chalmers.se
  * Nested Uniplate: works again (I had some strange mix of half-updated uniplate versions installed)

    M ./comparison/Uniplate/Nested.lhs -4 +1
    M ./comparison/log.txt -1 +1
From alexey at cs.uu.nl  Thu Feb 21 10:01:48 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:00 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary EMGM updated
Message-ID: <20080221150148.GA22368@haskell.galois.com>

Sat Feb 16 04:23:49 PST 2008  patrikj@chalmers.se
  * UpdateSalary EMGM updated

     ./comparison/EMGM/Paradise.lhs -> ./comparison/EMGM/UpdateSalaryDef.lhs
    M ./comparison/EMGM/UpdateSalaryDef.lhs -31 +15
    M ./comparison/log.txt +9
From alexey at cs.uu.nl  Thu Feb 21 10:01:49 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:00 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary LIGD updated
Message-ID: <20080221150149.GA22385@haskell.galois.com>

Sat Feb 16 04:45:43 PST 2008  patrikj@chalmers.se
  * UpdateSalary LIGD updated

    M ./comparison/LIGD/Paradise.lhs -21 +5
From alexey at cs.uu.nl  Thu Feb 21 10:01:51 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:01 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary SYB1_2 updated
Message-ID: <20080221150151.GA22402@haskell.galois.com>

Sat Feb 16 04:51:08 PST 2008  patrikj@chalmers.se
  * UpdateSalary SYB1_2 updated

    M ./comparison/SYB1_2/Paradise.lhs -12 +2
    A ./comparison/SYB1_2/UpdateSalaryDef.lhs
From alexey at cs.uu.nl  Thu Feb 21 10:01:52 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:03 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary RepLib updated
Message-ID: <20080221150152.GA22418@haskell.galois.com>

Sat Feb 16 07:53:00 PST 2008  patrikj@chalmers.se
  * UpdateSalary RepLib updated

    M ./comparison/RepLib/Paradise.lhs -14 +2
    A ./comparison/RepLib/UpdateSalaryDef.lhs
From alexey at cs.uu.nl  Thu Feb 21 10:01:53 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:03 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary Uniplate update
Message-ID: <20080221150153.GA22434@haskell.galois.com>

Sat Feb 16 07:55:20 PST 2008  patrikj@chalmers.se
  * UpdateSalary Uniplate update

    M ./comparison/Uniplate/Paradise.lhs -2 +2
From alexey at cs.uu.nl  Thu Feb 21 10:01:55 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:07 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary Spine update
	(failing as it should)
Message-ID: <20080221150155.GA22450@haskell.galois.com>

Sat Feb 16 08:06:54 PST 2008  patrikj@chalmers.se
  * UpdateSalary Spine update (failing as it should)

     ./comparison/Spine/Paradise.lhs -> ./comparison/Spine/UpdateSalaryDef.lhs
    A ./comparison/Spine/Paradise.lhs
    M ./comparison/Spine/UpdateSalaryDef.lhs -13 +5
From alexey at cs.uu.nl  Thu Feb 21 10:01:57 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:08 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary PolyP updated
	(failing as it should)
Message-ID: <20080221150157.GA22466@haskell.galois.com>

Sat Feb 16 08:09:51 PST 2008  patrikj@chalmers.se
  * UpdateSalary PolyP updated (failing as it should)

    M ./comparison/PolyP/Paradise.lhs -2 +4
From alexey at cs.uu.nl  Thu Feb 21 10:01:59 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:12 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary Smash updated
Message-ID: <20080221150159.GA22484@haskell.galois.com>

Sat Feb 16 08:26:21 PST 2008  patrikj@chalmers.se
  * UpdateSalary Smash updated

     ./comparison/Smash/Paradise.hs -> ./comparison/Smash/UpdateSalaryDef.hs
    M ./comparison/Smash/UpdateSalaryDef.hs -23 +9
From alexey at cs.uu.nl  Thu Feb 21 10:02:05 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:14 2008
Subject: [Hs-Generics] patch applied (generics): UpdateSalary check completed
Message-ID: <20080221150205.GA22502@haskell.galois.com>

Sat Feb 16 08:28:04 PST 2008  patrikj@chalmers.se
  * UpdateSalary check completed

    M ./comparison/log.txt -4 +3
From alexey at cs.uu.nl  Thu Feb 21 10:02:07 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:16 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights EMGM updated
	(builds on Gid, not updateSalary)
Message-ID: <20080221150207.GA22518@haskell.galois.com>

Sat Feb 16 09:21:20 PST 2008  patrikj@chalmers.se
  * RmWeights EMGM updated (builds on Gid, not updateSalary)

    A ./comparison/EMGM/GidDef.lhs
    M ./comparison/EMGM/RmWeights.lhs -16 +16
    M ./comparison/EMGM/TreeReps.hs -2
    M ./comparison/TestRmWeights.lhs -3 +2
    M ./comparison/Uniplate/RmWeights.lhs -1 +1
    M ./comparison/log.txt -1 +11
From alexey at cs.uu.nl  Thu Feb 21 10:02:08 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:19 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights SYB1_2 updated
Message-ID: <20080221150208.GA22534@haskell.galois.com>

Sat Feb 16 09:26:50 PST 2008  patrikj@chalmers.se
  * RmWeights SYB1_2 updated

    M ./comparison/SYB1_2/RmWeights.lhs -2 +2
    M ./comparison/log.txt -2 +2
From alexey at cs.uu.nl  Thu Feb 21 10:02:10 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:19 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights RepLib fixes
Message-ID: <20080221150210.GA22550@haskell.galois.com>

Sat Feb 16 09:53:52 PST 2008  patrikj@chalmers.se
  * RmWeights RepLib fixes

    M ./comparison/RepLib/RmWeights.lhs -11 +3
    M ./comparison/log.txt -1
From alexey at cs.uu.nl  Thu Feb 21 10:02:11 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:21 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights Uniplate updates
	(general def. still missing)
Message-ID: <20080221150211.GA22566@haskell.galois.com>

Sat Feb 16 09:54:37 PST 2008  patrikj@chalmers.se
  * RmWeights Uniplate updates (general def. still missing)

    M ./comparison/Uniplate/RmWeights.lhs -1 +17
From alexey at cs.uu.nl  Thu Feb 21 10:02:12 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Thu Feb 21 10:00:23 2008
Subject: [Hs-Generics] patch applied (generics): fulltree added to PolyP
Message-ID: <20080221150212.GA22582@haskell.galois.com>

Thu Feb 21 06:46:25 PST 2008  patrikj@chalmers.se
  * fulltree added to PolyP

    M ./comparison/PolyP/Efficiency.lhs -8 +8
    A ./comparison/PolyP/Fan.lhs
    M ./comparison/log.txt -1 +5
From alexey at cs.uu.nl  Fri Feb 22 03:13:29 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 22 03:11:46 2008
Subject: [Hs-Generics] patch applied (generics): GMap for Spine
Message-ID: <20080222081328.GA13747@haskell.galois.com>

Tue Feb 12 14:35:42 PST 2008  alex@cs.uu.nl
  * GMap for Spine

    M! ./comparison/Spine/GMap.lhs -5 +2
From alexey at cs.uu.nl  Fri Feb 22 03:13:37 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Fri Feb 22 03:11:49 2008
Subject: [Hs-Generics] patch applied (generics): GMap for Spine (cheating
	separate compilation)
Message-ID: <20080222081337.GA13771@haskell.galois.com>

Thu Feb 21 14:57:03 PST 2008  alex@cs.uu.nl
  * GMap for Spine (cheating separate compilation)

    M ./comparison/Spine/GMap.lhs -6 +6
    M ./comparison/Spine/SYB1.hs -1 +27
From alexey at cs.uu.nl  Mon Feb 25 08:39:39 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 25 08:37:37 2008
Subject: [Hs-Generics] patch applied (generics): TestRmWeights for Spine,
	the previous test was broken (explicit matching of
	constructors other than WithWeight not allowed)
Message-ID: <20080225133939.GA3206@haskell.galois.com>

Mon Feb 25 03:16:45 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed)

    M ./comparison/Spine/RmWeights.lhs -8 +25
From alexey at cs.uu.nl  Mon Feb 25 08:39:42 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 25 08:37:39 2008
Subject: [Hs-Generics] patch applied (generics): Added a transformation map
	to LIGD (gmapT), will be useful for a test at least.
Message-ID: <20080225133941.GA3228@haskell.galois.com>

Mon Feb 25 04:19:15 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * Added a transformation map to LIGD (gmapT), will be useful for a test at least.

    M ./comparison/Common.lhs +8
    M ./comparison/LIGD/GMapQ.lhs -23 +33
From alexey at cs.uu.nl  Mon Feb 25 08:39:43 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Mon Feb 25 08:37:40 2008
Subject: [Hs-Generics] patch applied (generics): RmWeights for LIGD
Message-ID: <20080225133943.GA3245@haskell.galois.com>

Mon Feb 25 05:35:09 PST 2008  Alexey Rodriguez <alexey@cs.uu.nl>
  * RmWeights for LIGD

    M ./comparison/LIGD/GMapQ.lhs +3
    M ./comparison/LIGD/LIGD.lhs +9
    A ./comparison/LIGD/RmWeights.lhs
    M ./comparison/LIGD/TreeReps.hs -2 +13