Jacques Carette
Jacques Carette
The `in` issue is fixed. The trivial product issue is fixed too. Is there anything remaining unfixed in this issue?
@ccshan can you rig up a **much** simpler example to show this, and create a new issue with it? `lda.hk` is very hard to work with as the "base case".
Nice. But there could be a third alternative: there are ways to 'teach' `assum{e/ing}` about properties of certain functions. So we could add handlers for `size` and `idx`, which could...
These extension mechanism are all undocumented. I just happen to know them from reading the source. They mainly involve writing `property/` routines (for `idx` and/or `size`).
So should a new issue be made, or this one re-opened?
As a short-cut, I'll reopen this issue. Creating good issues that detail the above will take me a non-trivial amount of time. And I am not sure that this is...
`assume (w :: EveryElement(nonnegint))` would indeed be the way to tell `assume` about such information. Then the task is to figure out where in the flow of `assume` we can...
Isn't `normal` already defined, so that `foo.hk` should, rather than 'work', return an error? I would consider it a bug, not a feature, if this worked! If you were to...
Why does redefining `sin` work? Why is that a good thing? Doesn't that just lead to much debugging pain for very little gain? I purposefully avoiding using the word `module`....
I am not actually 100% sure that this is done -- Geneva was waiting for Yuriy to finish a couple of things to close this off, and he didn't finish...