June 2007 - Generics - Haskell.org

patch applied (generics): Renamed equalTree to equalWTree
by Alexey Rodriguez Yakushev 21 Jun '07

21 Jun '07

Sun Jun 17 02:37:34 PDT 2007 patrikj(a)chalmers.se * Renamed equalTree to equalWTree M ./comparison/LIGD/GEqTree.lhs -5 +5 M ./comparison/PolyP/GEqTree.lhs -3 +3 M ./comparison/TestGEqTree.lhs -3 +3 M ./comparison/test.hs -2

1 0

patch applied (generics): Finished NOW, all functions pass the test and including the efficiency test
by Alexey Rodriguez Yakushev 21 Jun '07

21 Jun '07

Tue Jun 19 17:43:54 PDT 2007 agerdes(a)mac.com * Finished NOW, all functions pass the test and including the efficiency test M ./comparison/NOW/FoldTree.lhs -1 +1 M ./comparison/NOW/GShow.lhs -4 +17 M ./comparison/NOW/NOW.hs -8 +28 M ./comparison/NOW/Paradise.lhs -2 +2

1 0

patch applied (generics): Added NOW Efficiency file
by Alexey Rodriguez Yakushev 20 Jun '07

20 Jun '07

Wed Jun 20 02:03:49 PDT 2007 agerdes(a)mac.com * Added NOW Efficiency file A ./comparison/NOW/Efficiency.lhs

1 0

patch applied (generics): Missing NOW files added, added NOW to time Makefile
by Alexey Rodriguez Yakushev 20 Jun '07

20 Jun '07

Wed Jun 20 06:42:24 PDT 2007 agerdes(a)mac.com * Missing NOW files added, added NOW to time Makefile M ./comparison/Makefile -1 +1 A ./comparison/NOW/GEqTree.lhs A ./comparison/NOW/GMap.lhs A ./comparison/NOW/Nested.lhs A ./comparison/NOW/Reduce.lhs

1 0

patch applied (generics): Nested data types for Smash. Less easy, but possible -- and even a bit insightful.
by Oleg Kiselyov 19 Jun '07

19 Jun '07

Tue Jun 19 03:53:35 PDT 2007 oleg(a)okmij.org * Nested data types for Smash. Less easy, but possible -- and even a bit insightful. Nested data types with Smash is a bit less obvious: polymorphic recursion in the presence of constraints doesn't quite work. Smash is more general than is required for this task. The solution is nevertheless possible and short. It also illustrates how to pass generic functions as arguments without any need for higher-rank types. So, Smash's generic functions are first-class, and have always been. It just goes to show to higher-rank is already present in Haskell98. A ./comparison/SmashA/Nested.hs A ./comparison/SmashA/PerfectDats.hs M ./comparison/SmashA/RoseDats.hs -1 +1

1 0

patch applied (generics): Remove -fglasgow-exts for Uniplate's Reduce, instead of an explicit type signature use asTypeOf
by Oleg Kiselyov 19 Jun '07

19 Jun '07

Mon Jun 18 17:37:22 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Remove -fglasgow-exts for Uniplate's Reduce, instead of an explicit type signature use asTypeOf M ./comparison/Uniplate/Reduce.lhs -6 +4

1 0

patch applied (generics): Fix up the Uniplate Reduce benchmark to meet the specificatino
by Oleg Kiselyov 19 Jun '07

19 Jun '07

Sun Jun 17 17:12:48 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Fix up the Uniplate Reduce benchmark to meet the specificatino M ./comparison/Uniplate/Reduce.lhs -17 +7

1 0

patch applied (generics): Derive Data/Typeable for Perfect
by Oleg Kiselyov 19 Jun '07

19 Jun '07

Sun Jun 17 17:03:59 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Derive Data/Typeable for Perfect M ./comparison/PerfectDatatype.hs -3 +5

1 0

Uniplate updated patch
by Neil Mitchell 18 Jun '07

18 Jun '07

Hi Here are 3 more Uniplate patches, 2 are resends from yesterday that don't seem to have been applied. The final one changes Uniplate's Reduce module to no longer require -fglasgow-exts. Thanks Neil

1 0

patch applied (generics): Added Uniplate lib and fixed reduce extensions import
by Oleg Kiselyov 18 Jun '07

18 Jun '07

Mon Jun 18 02:59:57 PDT 2007 agerdes(a)mac.com * Added Uniplate lib and fixed reduce extensions import A ./comparison/Uniplate/Data/ A ./comparison/Uniplate/Data/Generics/ A ./comparison/Uniplate/Data/Generics/Biplate.hs A ./comparison/Uniplate/Data/Generics/PlateData.hs A ./comparison/Uniplate/Data/Generics/PlateDirect.hs A ./comparison/Uniplate/Data/Generics/PlateInternal.hs A ./comparison/Uniplate/Data/Generics/PlateTypeable.hs A ./comparison/Uniplate/Data/Generics/Uniplate.hs A ./comparison/Uniplate/Data/Generics/UniplateOn.hs M ./comparison/Uniplate/Reduce.lhs -1 +1

1 0