Skip to content

Add an Append.Sequence instance for List#2114

Merged
jsuereth merged 1 commit intosbt:0.13from
pdalpra:add-append.sequence-list
Jul 18, 2015
Merged

Add an Append.Sequence instance for List#2114
jsuereth merged 1 commit intosbt:0.13from
pdalpra:add-append.sequence-list

Conversation

@pdalpra
Copy link
Member

@pdalpra pdalpra commented Jul 17, 2015

Fixes #2107

@eed3si9n eed3si9n added the ready label Jul 17, 2015
@pdalpra
Copy link
Member Author

pdalpra commented Jul 17, 2015

Is there a place where I could add tests for this ?

@typesafe-tools
Copy link

Can one of the admins verify this patch?

@eed3si9n
Copy link
Member

@jsuereth
Copy link
Member

With tests, this would LGTM

@eed3si9n
Copy link
Member

And notes.

@pdalpra
Copy link
Member Author

pdalpra commented Jul 18, 2015

Amended my commit to add notes and tests.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think these 3 should be listSetting.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Woops.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fixed

@dwijnand
Copy link
Member

LGTM, unless we want to also test that the view bound variant is also working.

@jsuereth
Copy link
Member

LGTM

jsuereth added a commit that referenced this pull request Jul 18, 2015
Add an Append.Sequence instance for List
@jsuereth jsuereth merged commit d0e918d into sbt:0.13 Jul 18, 2015
@jsuereth jsuereth removed the ready label Jul 18, 2015
@pdalpra pdalpra deleted the add-append.sequence-list branch July 18, 2015 23:12
marconilanna added a commit to marconilanna/sbt that referenced this pull request Aug 17, 2017
marconilanna added a commit to marconilanna/sbt that referenced this pull request Aug 17, 2017
marconilanna added a commit to marconilanna/sbt that referenced this pull request Aug 17, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants