March 2008 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Mar 3 10:17:05 EST 2008
Ending: Mon Mar 31 18:16:36 EST 2008
Messages: 75

• [Hs-Generics] patch applied (generics): a better emulation of typeclasses with stapply: resolution failure gives the answer ResFailure, which will trigger a type error whenever it is used for anything.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): A very small change to the library, which makes RmWeights look like people wanted it to see. The old way still works. I'm still unsure how am I feeling about this. Need to re-run the test, although I think I checked most if not all files.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Ad-hoc cases with SYB-style combinators and with type-classes for RepLib   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added "import CompanyReps" to SYB1_2 tests.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added a new test of equality of nested datatypes: PerfectTrees. It passes ok.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Added arity-3 representation for BinTree in EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added Efficiency. FullTree was added in the previous patc, but the e-mail notification to the list didn't make it.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Added pointer to the version of SYB with class that we are using (HAppS's version, check README)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added the fulltree test to the suite.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added usage instructions to test.hs and an option to run all tests.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): All tests now compile for PolyP (but many fail)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Arity-3 crushRight for EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Completed Uniplate tests.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): CrushRight clarifications, and tidying up   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): CrushRight not supported in syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Data and Typeable are generated by standalone deriving for SYB1_2, needs GHC 6.8.2   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Data and Typeable for WTree use standalone deriving for SYB1_2   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Data and Typeable instances are generated using standalone 'deriving', specific to GHC >= 6.8.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Demonstrating that flattenListTree, sumListTree and sizeListTree apply, AS THEY ARE, not only to [WTree Int Int] but to *ANY* data that includes WTree a b   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Demoting GShow to literally satisfy the GShow tests.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): EMGM FullTree for WTree (testing if we could use FullTree for the performance benchmark)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Factored out paren from SYB1_2/GShow.lhs   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): File demonstrating buggy Data instances generated by Derive.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Fixed Spine library and added Nested for Spine   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): forgot UpdateSalaryDef   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Generic equality for syb3 loops strangely when casting the second arguments   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMapQ1 test for RepLib.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): I broke the representations for Uniplate, fixing them.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Idiomatic RmWeights for SYB1_2   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Implementing shallow map, aka gMapQ. TestGMapQ1 nd TestGMapQ2 now work.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): import BinTreeReps   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Made all the old test of SmashA work in the new version of the framework.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Made CrushRight more idiomatic for RepLib.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Minor fix in Uniplate.CrushRight   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): More comments.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): More documentation on GShowExt.lhs in EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Nested test for most libraries (EMGM, LIGD, RepLib, SYB)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): NOW/Efficiency compilation fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): PolyP details   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): PolyP/Efficiency compilation fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Refactoring in generic transpose   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Remark about NGRose for EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Renamed the selectInt test to selectIntWTree and added a selectIntPerfect to test if a library is able to handle nested datatypes.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RepLib/Efficiency comp. fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RepLib: BinTreeReps added   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): SelectIntPerfect for syb3, does not work: context reduction loops   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Some more efficiency benchmark work   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Some more information on failure of GEq, and manual representation in BinTree that would make it work.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Spine corrections   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Spine nearly complete, only Crush is unimplemented. Changed Nested test to use equality instead of collect.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Standalone deriving Typeable and Data for Perfect in SYB1_2   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): syb-with-class installation notes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): SYB1_2/Efficiency comp. fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): SYB1_2/GRoseInstances.hs -> SYB1_2/GRoseReps.hs   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): syb3 now compiles except for the two missing tests: Nested and FullTree   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Test case overview   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestEfficiency running for most approaches (but no good benchmark)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): TestGMapQ1 for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestGMapQ2 and TestUpdateSalary for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestGShow and TestGShowExt for SYB with class   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestSelectIntWTree for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestSelectSalary for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): The current version of Smash is SmashA.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): The last file needed adjustment. All tests pass.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): The new test, RmWeights, passes ok   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): Tidying up in EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Towards working performance benchmark   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Trivial, failing GMap for syb3   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Universe test in FoldTree for Uniplate   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Use crushRight1 instead of foldr in RepLib   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Writing CrushRight that literally mimics the corresponding code in RepLib, EMGM, etc. I shall argue that requiring such a literal reproduction is like shootout requiring Haskell code be written in the same style as ML or C code, or vice versa. Each language has its idioms and style, even if the the solutions are extensionally the same.   Oleg Kiselyov
• [Hs-Generics] patch applied (generics): WTree representation for syb3   Alexey Rodriguez Yakushev

Last message date: Mon Mar 31 18:16:36 EST 2008
Archived on: Mon Mar 31 18:12:40 EST 2008

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...