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

++cut jet mismatch for large spans #699

Open
Quodss opened this issue Aug 6, 2024 · 4 comments
Open

++cut jet mismatch for large spans #699

Quodss opened this issue Aug 6, 2024 · 4 comments

Comments

@Quodss
Copy link
Contributor

Quodss commented Aug 6, 2024

To reproduce:

  1. Switch test flag in _140_two_cut_a to c3n
  2. Run in Dojo (set --loom to 33):
=a (cut 2 [0 (bex 31)] (bex (bex 33)))

You'll get:

mismatch: good 3a5bbd82, bad 79ff04e8

This is caused by the "rounding" of the argument c here when it's not a direct atom.

@joemfb
Copy link
Member

joemfb commented Aug 7, 2024

That's interesting (and rough). That rounding behavior has been there forever -- I bet the increased loom size invalidated that behavior. u3a_maximum is properly defined in allocate.h, but you'd have to take the bloq size into account when comparing the step to it.

@Quodss
Copy link
Contributor Author

Quodss commented Aug 9, 2024

@joemfb another example:

> (met 32 (bex (bex 33)))
1

It should've returned 3. It didn't because of the shortcut here.

@Quodss
Copy link
Contributor Author

Quodss commented Aug 9, 2024

another mismatch of different nature: ++lte should return %.y if nouns are equal, even if both are cells. But in Dojo:

> (slum lte [0 0] [0 0])
dojo: hoon expression failed

@Quodss
Copy link
Contributor Author

Quodss commented Aug 9, 2024

Similarly, ++lth should return %.n if both arguments are equal cells

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

2 participants