Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remove Cast Operator #576

Closed
DavePearce opened this issue Jan 28, 2016 · 2 comments
Closed

Remove Cast Operator #576

DavePearce opened this issue Jan 28, 2016 · 2 comments
Labels
Feature
Milestone
ChangeList Pre v0...

Comments

@DavePearce
Copy link
Member

Since the removal of the real data type (#495), the cast operator has become useful. Therefore, I propose to remove it.
@DavePearce DavePearce added this to the ChangeList Pre v0.4.0 milestone Jan 28, 2016
@DavePearce DavePearce mentioned this issue Jan 28, 2016
Closed
@DavePearce
Copy link
Member Author

One of the key challenges is that this requires the reintroduction of width subtyping for records.

DavePearce added a commit that referenced this issue Jan 28, 2016
@DavePearce
Remove cast expression #576
50c32d9 
This removes the syntax for cast expressions, though not the corresponding
coercion bytecode.  Also, updates test cases accordingly.  One test is failing
as it relies on width subtyping of records, which must be reintroduced.
DavePearce added a commit that referenced this issue Jan 28, 2016
@DavePearce
Removed Implicit Coercion Operator #576
2d4ad92 
This operator was not being used, and contained only redundant code now.  Hence,
removed.
@DavePearce
Copy link
Member Author

Hmmm, so realistically this is an issue. The problem is that width subtyping overlaps with the functionality provided by open records. Furthermore, I want to avoid implicit coercions altogether. For now, I think we'll leave the cast operator specifically to handle this issue and may revisit in future.

DavePearce added a commit that referenced this issue Jan 28, 2016
@DavePearce
Removed Implicit Coercion Operator #576
5c6ce2a 
This operator was not being used, and contained only redundant code now.  Hence,
removed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Feature
Projects
None yet
Milestone
ChangeList Pre v0.4.0
Development

No branches or pull requests
1 participant
@DavePearce