Merge branch feature-shape-update into master
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:35:25 +0000 (16:35 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:35:25 +0000 (16:35 +0100)
commitf4e7869c1d203fcf406b01e34d6276adf49fb79a
tree02c8c43dd8aaf494bb9d74ce3677bd0bfc0941bc
parent04b7bf8fabf64a2414d64cfb385f6a397da0a0fb
parent0ff83361e08eec6d6a5ab9a44f35b0b8590d2031
Merge branch feature-shape-update into master

The branch enables shape updates in variety of flavours:
 * explicitly passing the desired target shape
 * providing a plugin sput : ℕ → ℕ → Maybe ℕ
 * providing a right-inverse to getlen
It also provides a backwards compatibility function to facilitate
shape-retaining updates.