March 2008 Archives by date
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): Data and Typeable instances
are generated using standalone 'deriving', specific to GHC >= 6.8.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Added "import CompanyReps"
to SYB1_2 tests.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): SYB1_2/GRoseInstances.hs ->
SYB1_2/GRoseReps.hs
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Factored out paren from
SYB1_2/GShow.lhs
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): TestGShow and TestGShowExt
for SYB with class
Alexey Rodriguez Yakushev
- [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): Spine nearly complete,
only Crush is unimplemented. Changed Nested test to
use equality instead of collect.
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): 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): 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): Made all the old test of
SmashA work in the new version of the framework.
Oleg Kiselyov
- [Hs-Generics] patch applied (generics): The current version of
Smash is SmashA.
Oleg Kiselyov
- [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): The new test, RmWeights,
passes ok
Oleg Kiselyov
- [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): forgot UpdateSalaryDef
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Added the fulltree test to
the suite.
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): Implementing shallow map,
aka gMapQ. TestGMapQ1 nd TestGMapQ2 now work.
Oleg Kiselyov
- [Hs-Generics] patch applied (generics): PolyP details
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Towards working performance
benchmark
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): NOW/Efficiency compilation
fixes
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): PolyP/Efficiency
compilation fixes
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): RepLib/Efficiency comp.
fixes
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): SYB1_2/Efficiency comp.
fixes
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): Test case overview
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Made CrushRight more
idiomatic for RepLib.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Removed rests of LIGD-style
CrushRight from RepLib
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): GMapQ1 test for RepLib.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Spine corrections
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Completed Uniplate tests.
Alexey Rodriguez Yakushev
- [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): RepLib: BinTreeReps added
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Demoting GShow to literally
satisfy the GShow tests.
Oleg Kiselyov
- [Hs-Generics] patch applied (generics): More documentation on
GShowExt.lhs in EMGM
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Use crushRight1 instead of
foldr in RepLib
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): 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): 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): Added arity-3
representation for BinTree in EMGM
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Tidying up in EMGM
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Arity-3 crushRight for EMGM
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): Universe test in FoldTree
for Uniplate
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): The last file needed
adjustment. All tests pass.
Oleg Kiselyov
- [Hs-Generics] patch applied (generics): More comments.
Oleg Kiselyov
- [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): Generic equality for syb3
loops strangely when casting the second arguments
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): import BinTreeReps
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): TestGMapQ1 for syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): TestSelectIntWTree for syb3
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): WTree representation 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): Standalone deriving
Typeable and Data for Perfect in SYB1_2
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): TestSelectSalary for syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): TestGMapQ2 and
TestUpdateSalary for syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Idiomatic RmWeights for
SYB1_2
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): RmWeights for syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Trivial,
failing GMap for syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): CrushRight clarifications,
and tidying up
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): I broke the representations
for Uniplate, fixing them.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): CrushRight not supported in
syb3
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Fixed Spine library and
added Nested for Spine
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): File demonstrating buggy
Data instances generated by Derive.
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Minor fix in
Uniplate.CrushRight
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): syb3 now compiles except
for the two missing tests: Nested and FullTree
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): syb-with-class installation
notes
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): Some more efficiency
benchmark work
Alexey Rodriguez Yakushev
- [Hs-Generics] patch applied (generics): EMGM FullTree for WTree
(testing if we could use FullTree for the performance benchmark)
Alexey Rodriguez Yakushev
Last message date:
Mon Mar 31 18:16:36 EST 2008
Archived on: Mon Mar 31 18:12:40 EST 2008
This archive was generated by
Pipermail 0.09 (Mailman edition).