Skip to content

Combine multiple export refs for types#2157

Merged
garyb merged 1 commit into
purescript:0.9from
garyb:2138
May 23, 2016
Merged

Combine multiple export refs for types#2157
garyb merged 1 commit into
purescript:0.9from
garyb:2138

Conversation

@garyb

@garyb garyb commented May 23, 2016

Copy link
Copy Markdown
Member

Resolves #2138.

Also fixed the error message so it refers to the type constructor and data constructor the right way around.

@paf31

paf31 commented May 23, 2016

Copy link
Copy Markdown
Contributor

👍 LGTM!

@coveralls

Copy link
Copy Markdown

Coverage Status

Coverage increased (+0.03%) to 56.27% when pulling b42f9cf on garyb:2138 into 4ad29a9 on purescript:0.9.

@garyb garyb merged commit a1168e3 into purescript:0.9 May 23, 2016
@garyb garyb deleted the 2138 branch May 23, 2016 23:48
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.

3 participants