Error on Remote Solidity Smart Contract about reach-lang HOT 5 CLOSED

As discussed on Discord, Reach does not provide support for you launching arbitrary smart contracts on the networks we support. You got this code from examples/remote/index.mjs, which is a test case for launching a contract and then interacting with. That code relies on the developer knowing how to put things on Ethereum (it uses ethers and solc directly). I think in most real-world uses, the remote object you want to interact with will already exist.

However, if you want a quick fix, notice in the compiled output from Solidity, the compilation is named index.sol:DaiToken rather than index.sol:WeirdContract like in the original example. Change the name and it will probably work.

from reach-lang.

Reach does compile and deploys the smart contract. Set your contract to pragma solidity ^0.7.4; and above is required. Configure your makefile to the desired network if you want to use this approach to launch ERC20 from Reach. You can also modify the frontend to deploy the contracts VIA MetaMask. ¯_(ツ)_/¯

from reach-lang.

No, Reach does not compile and deploy the smart contract.

The examples/remote directory is an example of a /user/ program that a Reach programmer might write. So, everything inside that directory is not Reach, but a program that a Reach programmer happened to write. In other words, it is you, not Reach.

In that example, the Makefile, assumes your computer has solc on it and compiles the index.sol contract --- https://github.com/reach-sh/reach-lang/blob/master/examples/remote/Makefile#L14-L15 -- that's the compile and you did that.

Similarly, the index.mjs file, which is written by you, directly requires ethers (because you know what it is and how to use it) and it deploys the contract --- https://github.com/reach-sh/reach-lang/blob/master/examples/remote/index.mjs#L32 --- that's the deploy and you did that too. Just like how in the Rock-Paper-Scissors tutorial, you printed out a message from Bob --- https://github.com/reach-sh/reach-lang/blob/master/examples/tut-7/index.mjs#L49

from reach-lang.

Okay, I got it to do what I want. Although, it seems that it shouldn't happen or work.

from reach-lang.

No, it should happen and it should work; it's just that you are attributing it to "Reach", when you should attribute it to "Kwame"; or rather, "Kwame copying Jay's Makefile and JavaScript ethers code" :P

from reach-lang.