Skip to content

Fix kind error for recursive data type - #3511

Merged
natefaubion merged 1 commit into
purescript:masterfrom
natefaubion:fix-kind-error-rec-type
Jan 13, 2019
Merged

Fix kind error for recursive data type#3511
natefaubion merged 1 commit into
purescript:masterfrom
natefaubion:fix-kind-error-rec-type

Conversation

@natefaubion

@natefaubion natefaubion commented Jan 13, 2019

Copy link
Copy Markdown
Contributor

@kritzcreek noticed that the kind error noted in #2216 is not any better.

New error:

[1/1 KindsDoNotUnify] KindSpan.purs:5:12

  5    | Cons a List
                ^^^^

  Could not match kind

    Type -> Type

  with kind

    Type

  in type constructor List

@kritzcreek

kritzcreek commented Jan 13, 2019

Copy link
Copy Markdown
Member

Awesome! Sorry for nerd-sniping you :D

@natefaubion
natefaubion merged commit 0807b99 into purescript:master Jan 13, 2019
@natefaubion
natefaubion deleted the fix-kind-error-rec-type branch January 13, 2019 18:42
@garyb garyb mentioned this pull request Jan 13, 2019
Closed
3 tasks
dariooddenino pushed a commit to dariooddenino/purescript that referenced this pull request Jan 18, 2019
@natefaubion @dariooddenino
Fix kind error for recursive data type (purescript#3511)
09b0842
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kritzcreek kritzcreek kritzcreek approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@natefaubion @kritzcreek