Skip to content

Fix module typing#206

Merged
soutaro merged 1 commit intomasterfrom
module-typing
Sep 15, 2020
Merged

Fix module typing#206
soutaro merged 1 commit intomasterfrom
module-typing

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Sep 15, 2020

Caused by #204, which changed the semantics of intersection types.

@soutaro soutaro merged commit 63ed42e into master Sep 15, 2020
@soutaro soutaro deleted the module-typing branch September 15, 2020 03:08
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.

1 participant