Skip to content

Remove references to previous kinds * and ! - #3458

Merged
LiamGoodacre merged 1 commit into
purescript:masterfrom
LiamGoodacre:feature/old-kind-syntax
Nov 25, 2018
Merged

Remove references to previous kinds * and !#3458
LiamGoodacre merged 1 commit into
purescript:masterfrom
LiamGoodacre:feature/old-kind-syntax

Conversation

@LiamGoodacre

Copy link
Copy Markdown
Member

The kinds * and ! were switched to parse errors in 0.11.
Now we're at 0.12 we can remove them.

The kinds * and ! were switched to parse errors in 0.11.
Now we're at 0.12 we can remove them.
@LiamGoodacre
LiamGoodacre merged commit b8146c8 into purescript:master Nov 25, 2018
@LiamGoodacre
LiamGoodacre deleted the feature/old-kind-syntax branch November 25, 2018 00:08
@garyb garyb mentioned this pull request Jan 12, 2019
3 tasks
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.

2 participants