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

Tuple selector numbers in other bases? #713

Closed
brianhuffman opened this issue May 4, 2020 · 1 comment
Closed

Tuple selector numbers in other bases? #713

brianhuffman opened this issue May 4, 2020 · 1 comment
Assignees
@yav
Labels
language Changes or extensions to the language question Not a task, but rather a question or discussion topic
Milestone
2.10.0

Comments

@brianhuffman
Copy link
Contributor

I was surprised to discover today that Cryptol lets you write tuple selectors in hexadecimal:

Cryptol> (True, True).0x1
True
Cryptol> { x | 0x1 = True } where x = (False, False)
(False, True)

This works similarly for octal and binary.

Is this intentional? We should either document this, or disallow it.
@brianhuffman brianhuffman added question Not a task, but rather a question or discussion topic language Changes or extensions to the language labels May 4, 2020
@brianhuffman brianhuffman mentioned this issue Sep 17, 2020
Closed
@yav yav self-assigned this Sep 25, 2020
@yav
Copy link
Member

yav commented Sep 25, 2020

Selector should be just in base 10. Since I am reworking them to work around the interactions with fractional literals I'll fix that too

@yav yav added this to the 2.10.0 milestone Sep 25, 2020
@yav yav closed this as completed in 5d04936 Sep 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yav yav

Labels
language Changes or extensions to the language question Not a task, but rather a question or discussion topic
Projects
None yet
Milestone
2.10.0
Development

No branches or pull requests
2 participants
@yav @brianhuffman