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

One can derive from Whatever in contradiction with S04 #2567

Closed
p6rt opened this issue Nov 30, 2011 · 4 comments
Closed

One can derive from Whatever in contradiction with S04 #2567

p6rt opened this issue Nov 30, 2011 · 4 comments

Comments

@p6rt
Copy link

p6rt commented Nov 30, 2011

Migrated from rt.perl.org#105004 (status was 'rejected')

Searchable as RT105004$

@p6rt
Copy link
Author

p6rt commented Nov 30, 2011

From @cognominal

S04​:1292 3c53f87 say "The C<Whatever> type is derived from C<Any> but
nothing elseis derived from it."I infer from it that deriving from it
should result in an error. This is not the case.

class A is Whatever { }

A()

--
cognominal stef

@p6rt
Copy link
Author

p6rt commented Jun 10, 2013

From @coke

On Wed Nov 30 10​:47​:25 2011, cognominal wrote​:

S04​:1292 3c53f87 say "The C<Whatever> type is derived from C<Any> but
nothing elseis derived from it."I infer from it that deriving from it
should result in an error. This is not the case.

class A is Whatever { }

A()

i disagree that saying nothing else derives from it means that nothing else CAN derive from it.

14​:00 < jnthn> [Coke]​: agree

Rejecting ticket.

--
Will "Coke" Coleda

@p6rt
Copy link
Author

p6rt commented Jun 10, 2013

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

@p6rt
Copy link
Author

p6rt commented Jun 10, 2013

@coke - Status changed from 'open' to 'rejected'

@p6rt p6rt closed this as completed Jun 10, 2013
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