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

CG: allow constraints on generic types? #16761

Open

vasslitvinov opened this issue Nov 20, 2020 · 0 comments

Labels

area: Language type: Design

Member

vasslitvinov commented Nov 20, 2020

Main issue: #8629

Should we provide constraints on generic data types? For example:

interface Printable(type T) {
  proc T.print();
}

record PrintableRecord {
  var element: Printable;
}

proc worker(arg: PrintableRecord) {
  arg.element.print();       // legal because guaranteed by the interface
}

var r: PrintableRecord(...);   // the argument must implement Printable

vasslitvinov self-assigned this

vasslitvinov mentioned this issue

Constrained Generics / Interfaces #8629

Open

21 tasks

vasslitvinov added area: Language type: Design labels

vasslitvinov removed their assignment

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