Scryer-prolog: compilation fails on master still

Created on 13 Apr 2020  路  4Comments  路  Source: mthom/scryer-prolog

Despite having the NegAssign issue resolved, it seems travis still isn't happy.

馃憠 Errors start here: https://travis-ci.com/github/mthom/scryer-prolog/jobs/318812557#L672 and it's mostly type mismatches, like

   --> src/prolog/arithmetic.rs:434:53
    |
434 |                 Ok(Number::from(Integer::from(n1) + &*n2))
    |                                                     ^^^^
    |                                                     |
    |                                                     expected struct `prolog::rug::Integer`, found `&prolog::rug::Integer`
    |                                                     help: consider removing the borrow: `*n2`
error[E0308]: mismatched types

Most helpful comment

To reproduce this locally, it's cargo build --no-default-features --features num.

All 4 comments

To reproduce this locally, it's cargo build --no-default-features --features num.

I just made a pull request to num-rug-adapter to fix this. I will update Scryer to use it once it's accepted and published to cargo. That should put the build errors to rest.

The Travis build now passes.

Thank you 馃殌

Was this page helpful?
0 / 5 - 0 ratings

Related issues

Qqwy picture Qqwy  路  3Comments

XVilka picture XVilka  路  3Comments

triska picture triska  路  3Comments

cduret picture cduret  路  4Comments

jburse picture jburse  路  5Comments