user5556: I'm trying to compile the English Auction script on a local plutus-playground-client session and I'm getting this error:
 error:\n    Variable not in scope: main :: GHC.Types.IO a0

Any help on why this is?

user5556: Yes removing the module declaration works. Sorry to miss that!

user2580: You have to delete the module declaration at the top of the file. Try that and recompile. Lars mentions this here: https://youtu.be/K61Si6iQ-Js?t=86
P.S. I missed this originally as well!

5556: <p>I'm trying to compile the English Auction script on a local plutus-playground-client session and I'm getting this error:</p>
<pre><code> error:\n    Variable not in scope: main :: GHC.Types.IO a0
</code></pre>
<p>Any help on why this is?</p>
 5556: <p>Yes removing the module declaration works. Sorry to miss that!</p>
 2580: <p>You have to delete the module declaration at the top of the file. Try that and recompile. Lars mentions this here: <a href="https://youtu.be/K61Si6iQ-Js?t=86" rel="nofollow noreferrer">https://youtu.be/K61Si6iQ-Js?t=86</a></p>
<p>P.S. I missed this originally as well!</p>
