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

VM crashes on subtype test of recursive typedefs #9611

Closed
karlklose opened this issue Apr 3, 2013 · 7 comments
Closed

VM crashes on subtype test of recursive typedefs #9611

karlklose opened this issue Apr 3, 2013 · 7 comments
Assignees
@crelier
Labels
area-vm Use area-vm for VM related issues, including code coverage, FFI, and the AOT and JIT backends.

Comments

@karlklose
Copy link
Contributor

typedef void F(List<F> l);
typedef void G(List<G> l);

main() {
  F foo(G g) => g;
  foo(null);
}
@ghost
Copy link

ghost commented Apr 30, 2013

This seems to have been fixed

cc @crelier.
Added Fixed label.

@karlklose
Copy link
Contributor Author

The examples fails in checked mode only and still does in r22222.

Added Triaged label.

@crelier
Copy link
Contributor

crelier commented May 1, 2013

Added Accepted label.

@crelier
Copy link
Contributor

crelier commented May 1, 2013

Set owner to @crelier.

@iposva-google
Copy link
Contributor

Removed Priority-Medium label.
Added Priority-Unassigned label.

@crelier
Copy link
Contributor

crelier commented Jul 23, 2013

See these related language tests:

function_type_alias6_test
function_type_alias9_test

Note that the spec has recently been changed to be more restrictive:

"A typedef may only refer to itself via the bounds of its generic parameters. Any other self reference, either directly, or recursively via another typedef, is a compile time error."

In other words, the example of this reported issue should now cause a compile time error.

A cl is under review: https://codereview.chromium.org/19997003/

Added Started label.

@crelier
Copy link
Contributor

crelier commented Jul 23, 2013

Fixed in r25382.

Added Fixed label.

@karlklose karlklose added Type-Defect area-vm Use area-vm for VM related issues, including code coverage, FFI, and the AOT and JIT backends. labels Jul 23, 2013
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@crelier crelier

Labels
area-vm Use area-vm for VM related issues, including code coverage, FFI, and the AOT and JIT backends.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@iposva-google @karlklose @crelier