New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for never type #39

Merged
merged 6 commits into from Oct 9, 2017

Conversation

Projects
None yet
2 participants
@exoego
Copy link
Contributor

exoego commented Oct 8, 2017

Converts the never type to Nothing type.

The never type is a bottom type and can represent the types of value that never occurs, just like the Nothing type do so in Scala.

Some example of using never in type definitions.

@exoego exoego changed the title Adds support for never type Add support for never type Oct 8, 2017

exoego added some commits Oct 9, 2017

exoego
exoego
Remove unnecessary special handling in result type, since `never` can…
… be used in position of types, unline `void`.
@sjrd

sjrd approved these changes Oct 9, 2017

Copy link
Owner

sjrd left a comment

Thanks! Looks good.

@sjrd sjrd merged commit 308db20 into sjrd:master Oct 9, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@exoego exoego deleted the exoego:support-never-in-return-type branch Oct 17, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment