| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-04 | Allow mixing unspecialized and specialized existential parameters. (#1533) | Yong He | |
| * Allow mixing unspecialized and specialized existential parameters. * Fixes. | |||
| 2020-08-26 | Reorder existential tuple elements. (#1516) | Yong He | |
| Co-authored-by: Tim Foley <tim.foley.is@gmail.com> | |||
| 2020-08-18 | Support initializing an existential value from a generic value. (#1503) | Yong He | |
| * Support initializing an existential value from a generic value. * Remove trailing spaces and clean up debugging code. | |||
| 2020-08-14 | Lower existential types. (#1497) | Yong He | |
| Co-authored-by: Tim Foley <tfoleyNV@users.noreply.github.com> | |||
