Commits

Author Commit Message Labels Comments Date
Patrick Bahr
Merged with changes from default branch
Branches
macro
Patrick Bahr
Merged changes from default branch
Branches
macro
Patrick Bahr
Added tag version_0.6.1.4 for changeset b1d27a5ffa82
Patrick Bahr
increased version number to 0.6.1.4
Tags
version_0.6.1.4
Patrick Bahr
added function definition for backwards compatibility with GHC 7.4
Patrick Bahr
Added tag version_0.6.1.3 for changeset c6e3ece4b39c
Patrick Bahr
changed version number to 0.6.1.3
Tags
version_0.6.1.3
Patrick Bahr
minor bugfixes - spelled out the lifting of type classes over sums for multi parameter type classes instead of using TemplateHaskell (this was already done for one instance in revision 345) - the above change fixed the problem that certain tests would compile - fixed two additional typos that prevented some tests to compile
jkoppel
Replacing use of deprecated function "report"
jkoppel
"LiftSum" files now contain just one line of code each; removing clutter
jkoppel
Fixing exports
jkoppel
Moving caseF and friends to a more sensible place
jkoppel
Adding runE
jkoppel
Fixed bug in depth (Data.Comp.Multi.Generic) -- had actually been implementation of size
Patrick Bahr
Added tag version_0.6.1.2 for changeset a8c4de9c7d9a
Patrick Bahr
bump up the version number
Tags
version_0.6.1.2
Patrick Bahr
fixed a bug in the computation of free variables
Patrick Bahr
Added tag version_0.6.1.1 for changeset f4d9e2fb9684
Patrick Bahr
spelled out the lifting of the 'Desugar' type class over sums instead of using 'liftSum' to avoid bug in TemplateHaskell in GHC 7.6
Tags
version_0.6.1.1
Patrick Bahr
removed the benchmark flag (I switched to cabals Benchmark build target before so it is not necessary anymore)
Patrick Bahr
pulled over fixes from default branch
Branches
macro
Patrick Bahr
fixed and amended documenting comments
Patrick Bahr
Added tag version_0.6.1 for changeset a92801822132
Patrick Bahr
set version to 0.6.1
Tags
version_0.6.1
Patrick Bahr
fixed a compilation issue for GHC 7.6
Patrick Bahr
fixed a compilation issue for GHC 7.6
Branches
graph
Patrick Bahr
I started implementing a graph representation of terms (a.k.a. term graphs), which allows us to explicitly observe and manipulate sharing.
Branches
graph
Patrick Bahr
initial work on generalising automata to a restricted form of macro tree transducers (which is known as basic transducers) There is still some work to be done. In particular, for arbitrary basic transducers composition is not possible. We have to find some restriction to make it work.
Branches
macro
Patrick Bahr
added benchmark results
Patrick Bahr
we now use the benchmark interface of cabal
  1. Prev
  2. Next