-
Notifications
You must be signed in to change notification settings - Fork 112
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
table construction: internal error, and lack of guard #1758
Comments
Ugh there are actually missing annotations here:
I'm not at my coding computer right now; @ds26gte can you take this one? Add a type definition and/or predicate in |
Please review that PR #1759 does what's needed. |
- a (second) test that checks all values are raw-rows - one that checks that the raw-rows contain only tuples
- tables.arr: use annotation RawArrayOfRows for better err msgs brownplt#1758 - table.js: uses JSModule, so as to include type RawArrayOfRows - post-load-hooks.js, reactors.js: modify field access to table.js - test-tables.arr: update table-from-rows tests
This program works fine:
but a natural bug is to produce this instead:
(e.g., through
map
).Not only does this not produce a graceful error, it says to report a bug:
The text was updated successfully, but these errors were encountered: