Skip to content

[Merged by Bors] - Fix use of arrays of Distributions #245

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

Closed
wants to merge 7 commits into from

Conversation

devmotion
Copy link
Member

This PR fixes #28 (comment) and allows to use arbitrary arrays of Distributions. This was already allowed in the context implementations but prevented by a check in the code generated by the @model macro.

Additionally, the PR replaces the hard-coded check with a check_tilde_rhs function which, IMO, makes the code a bit simpler and easier to read. Moreover, a bug in the dot_assume implementation for arrays of Distributions is fixed.

@devmotion devmotion requested a review from torfjelde May 17, 2021 23:10
Copy link
Member

@torfjelde torfjelde left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lovely mah dude! Great stuff man:)

Only have a couple of suggested changes which are unrelated to this PR (just a redundant symbol generated).

Co-authored-by: Tor Erlend Fjelde <[email protected]>
@devmotion
Copy link
Member Author

bors r+

bors bot pushed a commit that referenced this pull request May 18, 2021
This PR fixes #28 (comment) and allows to use arbitrary arrays of `Distribution`s. This was already allowed in the context implementations but prevented by a check in the code generated by the `@model` macro.

Additionally, the PR replaces the hard-coded check with a `check_tilde_rhs` function which, IMO, makes the code a bit simpler and easier to read. Moreover, a bug in the `dot_assume` implementation for arrays of Distributions is fixed.

Co-authored-by: David Widmann <[email protected]>
@bors bors bot changed the title Fix use of arrays of Distributions [Merged by Bors] - Fix use of arrays of Distributions May 18, 2021
@bors bors bot closed this May 18, 2021
@bors bors bot deleted the dw/array_distributions branch May 18, 2021 02:08
bors bot pushed a commit that referenced this pull request May 18, 2021
This PR extends the tests that were introduced in #245.

Co-authored-by: David Widmann <[email protected]>
bors bot pushed a commit that referenced this pull request May 18, 2021
This PR extends the tests that were introduced in #245.

Co-authored-by: David Widmann <[email protected]>
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

Successfully merging this pull request may close these issues.

.~ seems to give incorrect answers
2 participants