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

The empty set should be a subset of any set #6256

Closed
p6rt opened this issue May 20, 2017 · 6 comments
Closed

The empty set should be a subset of any set #6256

p6rt opened this issue May 20, 2017 · 6 comments
Labels

Comments

@p6rt
Copy link

p6rt commented May 20, 2017

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

Searchable as RT131335$

@p6rt
Copy link
Author

p6rt commented May 20, 2017

From @dogbert17

# Perl 6 version
dogbert@​dogbert-VirtualBox ~ $ perl6 -v
This is Rakudo version 2017.04.3-304-g316399cf7 built on MoarVM version 2017.04-68-g5f233249
implementing Perl 6.c.

# The problem
dogbert@​dogbert-VirtualBox ~ $ perl6 -e 'say ∅ ⊂ set()'
False

The above should return True

@p6rt
Copy link
Author

p6rt commented May 20, 2017

From @zoffixznet

The above should return True

WolframAlpha disagrees​: https://www.wolframalpha.com/input/?i=%E2%88%85+%E2%8A%82+%E2%88%85

@p6rt
Copy link
Author

p6rt commented May 20, 2017

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

@p6rt
Copy link
Author

p6rt commented May 20, 2017

From @dogbert17

On Sat, 20 May 2017 06​:03​:00 -0700, cpan@​zoffix.com wrote​:

The above should return True

WolframAlpha disagrees​:
https://www.wolframalpha.com/input/?i=%E2%88%85+%E2%8A%82+%E2%88%85

Yup, this ticket should be closed/rejected.

@p6rt
Copy link
Author

p6rt commented May 20, 2017

From @dogbert17

On Sat, 20 May 2017 06​:20​:14 -0700, jan-olof.hendig@​bredband.net wrote​:

On Sat, 20 May 2017 06​:03​:00 -0700, cpan@​zoffix.com wrote​:

The above should return True

WolframAlpha disagrees​:
https://www.wolframalpha.com/input/?i=%E2%88%85+%E2%8A%82+%E2%88%85

Yup, this ticket should be closed/rejected.

@p6rt p6rt closed this as completed May 20, 2017
@p6rt
Copy link
Author

p6rt commented May 20, 2017

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

@p6rt p6rt added the Bug label Jan 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant