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

Lifetime Parameters for Named Types #648

DavePearce opened this Issue May 5, 2016 · 0 comments


None yet
1 participant

DavePearce commented May 5, 2016

Given the recent introduction of lifetimes (#642), the next thing is to extend this to allow lifetime parameters on named types. For example, something like this:

type Mutex<l> is {
   &l:int data

Here, the Mutex record is parameterised with the lifetime variable l.

In principle, I don't believe this extension is too challenging...

@DavePearce DavePearce removed the WYC label Oct 19, 2016

DavePearce added a commit that referenced this issue Sep 17, 2017

Fix for duplicate case conditions #648
This is not a complete fix for spotting duplicate case conditions.  This
is because a complete fix requires a subsequent compiler phase (or
something).  However, it does some simple stuff at the parser level.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment