Make dropping of values explicit#298

Closed

rossberg wants to merge 12 commits intomasterfrom

Commits on May 9, 2016

Make drops explicit
rossberg
committed

Commits on May 13, 2016

Require arity 1 for drops and breaks
rossberg
committed

Commits on May 20, 2016

Minor naming cosmetics
rossberg
committed

Commits on May 23, 2016

Fix overlooked name changes
rossberg
committed

Commits on Jun 6, 2016

Introduce tee_local
rossberg
committed

Commits on Jun 17, 2016

Commits on Jun 20, 2016

Commits on Jul 5, 2016

Require arity 1 for select
rossberg
committed

Commits on Jul 6, 2016