software-mansion / protostar

Protostar is a toolchain for developing and testing Starknet contracts
https://docs.swmansion.com/protostar/
MIT License
250 stars 48 forks source link

Investigate problems with using `alexandria` (online_dependencies tests) #1903

Open piotmag769 opened 1 year ago

piotmag769 commented 1 year ago

Related PR:

1876

Marked in code with TODO #1903

Part of the error output:

error: Parameter name of impl function i65Mul::mul is incompatible with Mul::mul parameter `lhs`.
 --> signed_integers.cairo:1322:12
    fn mul(a: i65, b: i65) -> i65 {
           ^

error: Parameter name of impl function i65Mul::mul is incompatible with Mul::mul parameter `rhs`.
 --> signed_integers.cairo:1322:20
    fn mul(a: i65, b: i65) -> i65 {
                   ^

error: Parameter name of impl function i65Div::div is incompatible with Div::div parameter `lhs`.
 --> signed_integers.cairo:1374:12
    fn div(a: i65, b: i65) -> i65 {
           ^

error: Parameter name of impl function i65Div::div is incompatible with Div::div parameter `rhs`.
 --> signed_integers.cairo:1374:20
    fn div(a: i65, b: i65) -> i65 {
                   ^
piotmag769 commented 1 year ago

@MaksymilianDemitraszek any idea why it is happening?

MaksymilianDemitraszek commented 1 year ago

@piotmag769 Is it still failing with new compiler?

piotmag769 commented 1 year ago

Yup, it is