From alexey at cs.uu.nl  Tue Apr  1 09:42:47 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:48 2008
Subject: [Hs-Generics] patch applied (generics): Added Derive.hs from HAppS
	distribution in test suite, in the hope of fixing the derive bug
Message-ID: <20080401134247.GA20646@haskell.galois.com>

Tue Apr  1 05:12:54 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Added Derive.hs from HAppS distribution in test suite, in the hope of fixing the derive bug

    M ./comparison/syb3/BinTreeReps.hs -1 +1
    A ./comparison/syb3/Derive.hs
From alexey at cs.uu.nl  Tue Apr  1 09:42:49 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:49 2008
Subject: [Hs-Generics] patch applied (generics): Fix Derive.hs to avoid
	recursion in Data instances
Message-ID: <20080401134249.GA20668@haskell.galois.com>

Tue Apr  1 06:00:26 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Fix Derive.hs to avoid recursion in Data instances
  
  * We only make context for type variables
    otherwise it generates contexts such as:
   
      instance (Data ctx a,Data ctx [a],...) =>
         Data ctx [a] where ...
   
    rather than
    
      instance (Data ctx a,...) =>
         Data ctx [a] where ...
   
  

    M ./comparison/syb3/Derive.hs -1 +25
From alexey at cs.uu.nl  Tue Apr  1 09:42:51 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:50 2008
Subject: [Hs-Generics] patch applied (generics): GEq works for syb3 now.
Message-ID: <20080401134251.GA20684@haskell.galois.com>

Tue Apr  1 06:12:41 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * GEq works for syb3 now.

    M ./comparison/syb3/BinTreeReps.hs -40
    M ./comparison/syb3/GEq.lhs -14 +1
From alexey at cs.uu.nl  Tue Apr  1 09:42:52 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:52 2008
Subject: [Hs-Generics] patch applied (generics): Some notes to the
	BugBinTree file.
Message-ID: <20080401134252.GA20700@haskell.galois.com>

Tue Apr  1 06:13:15 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Some notes to the BugBinTree file.

    M ./comparison/syb3/BugBinTree.lhs -1 +4
From alexey at cs.uu.nl  Tue Apr  1 09:42:53 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:53 2008
Subject: [Hs-Generics] patch applied (generics): WTree uses the new Derive,
	Company uses the old,
	otherwise it breaks. Perfect works with neither.
Message-ID: <20080401134253.GA20716@haskell.galois.com>

Tue Apr  1 06:40:21 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * WTree uses the new Derive, Company uses the old, otherwise it breaks. Perfect works with neither.

    M ./comparison/syb3/CompanyReps.hs +3
    M ./comparison/syb3/Derive.hs -1 +4
    M ./comparison/syb3/FoldTree.lhs -1
    M ./comparison/syb3/PerfectReps.hs +2
    M ./comparison/syb3/TreeReps.hs -1 +1
From alexey at cs.uu.nl  Tue Apr  1 09:42:55 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 09:38:55 2008
Subject: [Hs-Generics] patch applied (generics): Start of new time /
	efficiency measurement
Message-ID: <20080401134255.GA20732@haskell.galois.com>

Tue Apr  1 06:08:00 PDT 2008  patrikj@chalmers.se
  * Start of new time / efficiency measurement

    M ./comparison/Common.lhs -21 +7
    M ./comparison/Makefile +5
    M ./comparison/TestEfficiency.lhs -22 +10
    M ./comparison/TestSelectIntWTree.lhs -3 +8
    M ./comparison/TreeDatatype.hs +23
    M ./comparison/log.txt +37
    A ./comparison/time.hs
From alexey at cs.uu.nl  Tue Apr  1 14:22:07 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 14:18:12 2008
Subject: [Hs-Generics] patch applied (generics): Yet more info for bug
Message-ID: <20080401182207.GA27816@haskell.galois.com>

Tue Apr  1 09:37:21 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Yet more info for bug

    M ./comparison/syb3/BugBinTree.lhs -1 +1
    M ./comparison/syb3/Derive.hs -3 +5
From alexey at cs.uu.nl  Tue Apr  1 14:22:10 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 14:18:12 2008
Subject: [Hs-Generics] patch applied (generics): Attempted to write an
	instance for Perfect and failed.
Message-ID: <20080401182210.GA27854@haskell.galois.com>

Tue Apr  1 11:20:45 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Attempted to write an instance for Perfect and failed.

    M ./comparison/syb3/FoldTree.lhs -1 +1
    M ./comparison/syb3/PerfectReps.hs +84
From alexey at cs.uu.nl  Tue Apr  1 14:22:08 2008
From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev)
Date: Tue Apr  1 14:18:13 2008
Subject: [Hs-Generics] patch applied (generics): GRose test for syb3 with
	hand-written Data instance.
Message-ID: <20080401182208.GA27838@haskell.galois.com>

Tue Apr  1 09:38:23 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * GRose test for syb3 with hand-written Data instance.

    M ./comparison/syb3/GEq.lhs -2 +2
    M ./comparison/syb3/GRoseReps.hs -3 +18