🐛 Bug ➾ Cannot call compile parameters when there is only 1 entrypoint declared

[zamrokk]

🚥 Status (Internal Taqueria Team Use Only)

• [ ] 🔬 Investigated and Verified
• [ ] ⚗️ Solution Identified and Designed
• [ ] 🧫 Dev Implementation of Fix
• [ ] 🧪 Fix Tested and Validated
• [ ] 🏆 PR Merged

🆘 What happened?

Running dapp-1 training , when I try to compile with parameter and new ligo syntax @entry, there is an issue while there is 1 unique entrypoint. If I add a secondary one, no problem. I think it is linked to the fact that in Michelson, when there is only 1 entrypoint, the default naming is overriden to Default. Not first time we see this hack :/

🆘 Steps to Reproduce?

Run dapp-1 training here (https://github.com/marigold-dev/training-dapp-1)

try to compile when the parameterList is set before the step of the taq simulate

🪵 Relevant log output

No response

🐘 How impactful is this bug?

🤔 Notable but managable

⏱️ Prevalance

No response

💻 Operating System

Windows -> WSL

🕸️ System Architecture

None

🌮 Taqueria Version

v0.39.0

🌿 Node.js Version

No response

☎️ Contact Details

No response

Code of Conduct

• [X] I agree to follow this project's Code of Conduct

[mweichert]

Reproduced. I've reached out to Laurent to see if he can help us figure this one out.

[mweichert]

Conversation with LIGO team here: https://tezos-dev.slack.com/archives/CFX0B8Q3X/p1693342733039869

[mweichert]

It looks like this is currently expected behavior in LIGO but they are adjusting the implementation so that a single @entry will work as expected with the constructor in place.

[zamrokk]

Hi @mweichert

Can we reopen the ticket ? I don't have a working version of it with taq

If I use ligo compile parameter ./contracts/pokeGame.jsligo "[]"

It returns Unit, what is expected

But with taq, nothing passes

any idea ?

[zamrokk]

@mweichert

Some changes are coming to fix this

https://gitlab.com/ligolang/ligo/-/merge_requests/2898#eff41cb129b250b5d2e6507556656d455f615747

We reintroduce the default main entrypoint in case of contract single entrypoint declaration