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.

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

Circularity detected in multi sub types, but I can't spot it #2604

Closed
p6rt opened this issue Jan 5, 2012 · 4 comments
Closed

Circularity detected in multi sub types, but I can't spot it #2604

p6rt opened this issue Jan 5, 2012 · 4 comments

Comments

@p6rt
Copy link

p6rt commented Jan 5, 2012

Migrated from rt.perl.org#107638 (status was 'resolved')

Searchable as RT107638$

@p6rt
Copy link
Author

p6rt commented Jan 5, 2012

From @moritz

22​:52 < jnthn> nom​: multi sub infix​:<+>(Str $ where 1, Str $) { }; 'a' + 'a'
22​:52 <+p6eval> nom 44556d​: OUTPUT«===SORRY!===␤Circularity detected in
multi sub types.␤»

If that multi candidate actually introduced a cycle in the narrowness
graph, there must be a candidate that's narrower than (Str $ where 1,
Str $), but I can't figure out which one that could be -- I guess it's
just a bug somewhere.

@p6rt
Copy link
Author

p6rt commented Jan 13, 2012

From @jnthn

On Thu Jan 05 13​:54​:50 2012, moritz wrote​:

22​:52 < jnthn> nom​: multi sub infix​:<+>(Str $ where 1, Str $) { }; 'a'
+ 'a'
22​:52 <+p6eval> nom 44556d​: OUTPUT«===SORRY!===␤Circularity detected in
multi sub types.␤»

If that multi candidate actually introduced a cycle in the narrowness
graph, there must be a candidate that's narrower than (Str $ where 1,
Str $), but I can't figure out which one that could be -- I guess it's
just a bug somewhere.

Bug fixed and test added.

Thanks,

/jnthn

@p6rt
Copy link
Author

p6rt commented Jan 13, 2012

The RT System itself - Status changed from 'new' to 'open'

@p6rt
Copy link
Author

p6rt commented Jan 13, 2012

@jnthn - Status changed from 'open' to 'resolved'

@p6rt p6rt closed this as completed Jan 13, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant