warp icon indicating copy to clipboard operation
warp copied to clipboard

Transpilation abandoned Import warp_external_input_check_int256 from warplib.maths.external_input_check_ints is not defined.

Open tutan123 opened this issue 1 year ago • 5 comments

How to solve this issue?

image

tutan123 avatar Mar 23 '23 05:03 tutan123

Thanks for reaching us out! It seems like for some reason external_input_check_ints was not generated. Does the file exist in the container? yarn warplib should save it under the path /usr/src/warp-stable/warplib/maths/external_input_check_ints.cairo

piwonskp avatar Mar 26 '23 15:03 piwonskp

I had the same problem, mentioned file exists under warp-stable. I think the issue is Dockerfile and docker-compose-yml have different work directory, one starts from stable the other one doesnt. /usr/src/warp/... does not have that file. Changing the dir to stable solves it. That is the reason why following the commands in readme gives out different results depending on container config.

akasimo avatar Mar 28 '23 11:03 akasimo

Exactly what @akasimo wrote. I'll just add that there are two directories because docker-compose was designed to be used both by warp developers and users. warp-stable/ is added in Dockerfile during docker build stage. On the other hand warp/ is a volume from local disk and was designed for contributors to be able to quickly modify the code and run it. I think two separate docker-compose.yaml for users and contributors would solve the issue

piwonskp avatar Mar 28 '23 14:03 piwonskp

I've created an issue #1011 for that. @tutan123 @akasimo I'd be happy to hear your opinions

piwonskp avatar Mar 29 '23 19:03 piwonskp

i get the same issue: After I installed the warp using the method on this page: /warp/docs/contribution_guidelines/setuping-development-environment I tried to translate ERC20.sol, and the error was reported as follows:

` $ warp transpile ERC20.sol

Transpilation abandoned Import warp_external_input_check_int256 from warplib.maths.external_input_check_ints is not defined. `

nihaoqingtuan avatar Jul 21 '23 06:07 nihaoqingtuan