Questions tagged [ligo]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
2 answers
55 views

Taqueria/Ligo install problems

I'm trying to run through this tutorial on DApp development with Ligo (https://tezos.com/developers/tutorials/nft-ligo-marketplace/) and am running into an error. TAQ_LIGO_IMAGE=ligolang/ligo:0.73.0 ...
Blindripper's user avatar
  • 2,635
0 votes
1 answer
12 views

Is there a way to extend existing signature?

I have a question regarding new module signatures. Is there a way to extend existing signature? module type S1 = sig type t val v : t end module type S2 = sig include S1 val v2 : t end ...
user avatar
0 votes
1 answer
11 views

Is it possible to pack a js object with specific types for its properties that can be unpacked in a smart contract

Is it possible to pack a javascript object with specific types for its properties that can be unpacked in a smart contract (for example Bytes.unpack in ligo)? I've come to the same point as the ...
user avatar
0 votes
0 answers
11 views

After compiling a jsligo contract, the resulting michelson contract has errors and cannot be deployed

After compiling a jsligo contract, the resulting michelson contract has errors and cannot be deployed. The error is "invalid primitive name". Has anyone ever gotten this error ? Do you know ...
user avatar
0 votes
1 answer
11 views

How can I call a contract using : Tezos.transaction(`parameter, tez, contract<`parameter>)

Since declaration of entrypoint with @entry How can I call a contract using : Tezos.transaction(`parameter, tez, contract<`parameter>) I mean in doc the example is : let contract = match (...
user avatar
0 votes
1 answer
7 views

How can I assert that a contract transfer fails with a particular error message?

How can I assert that a contract transfer fails with a particular error message? Tried a couple things, including this: match call_as pledger1 Get_refund 1tz taddr with | Success _ -> ...
user avatar
0 votes
1 answer
7 views

Does anyone have template code calling balance_of entrypoint using JSLigo?

Does anyone have template code calling balance_of entrypoint using JSLigo? I want sth similar to Tezos.get_balance() but getting FA2 token balance instead of tez.
user avatar
0 votes
1 answer
7 views

Stuck trying to pass a partial object to an entrypoint in Ligo

I was hoping for a little guidance for jsligo. I am writing a simple contract that I am trying to make into a teaching tool. However I am stuck trying to pass a partial object to an entrypoint. type ...
user avatar
0 votes
2 answers
32 views

Contract compile error in Dapp tutorial (wine collection marketplace)

I'm trying to run through this tutorial on dapp development with ligo (https://tezos.com/developers/tutorials/nft-ligo-marketplace/) and am running into an error. In the "NFT Marketplace Contract&...
habitable_planet's user avatar
0 votes
1 answer
20 views

How to compile a LigoLang jsLigo written smart contract on Windows + vsCode?

I'm beginning to learn to write Tezos smart contracts with LigoLang using jsLigo as programming language and Windows as operating system. For IDE I'm using vsCode. I've followed the Getting Started ...
Luiz Milfont's user avatar
0 votes
0 answers
25 views

Unable to interact with other contracts because Tezos.get_contract_opt got None

I tried to interact with other contracts but failed because Tezos.get_contract_opt always returns None. Here's the demo code (ligo v0.60.0): receiver.jsligo - A contract that the "broadcaster&...
caaatisgood's user avatar
1 vote
3 answers
38 views

How do you generate your initial storage for deployment in ligo?

I'm curious about your strategies regarding the following questions: How do you generate your initial storage for deployment ? Where do you store your storage types ? Do you keep your storage ...
user avatar
0 votes
2 answers
13 views

Merkle Tree implementation in Ligo

I am looking for an implementation of a merkle tree, in ligo. Could somebody help me please? From Slack, to share the answers for others its posted on Stackexchange.
user avatar
1 vote
1 answer
54 views

Writing SmartPy tests along with LIGO contracts

I have a set of smart contracts coded in SmartPy. They are heavily interdependent and some of them also interact with cTez contracts. I need to write SmartPy tests to check if everything is working ...
Ojuswi Rastogi's user avatar
1 vote
1 answer
37 views

Convert bytes to string in CameLIGO?

I would like to convert a bytes type to a string type. How can this be done in pure CameLIGO?: let data: bytes = [%bytes "hello"] in let str: string = ??? Thank you, Edward
Edward Garson's user avatar
1 vote
1 answer
30 views

How to test that an error is raised in ligo?

I would like to know if there is some way of testing for error raised with failwith in ligo using the testing framework? There doesn’t seem to be any documented try-catch mechanism yet, or am I ...
Pierre Chopin's user avatar
0 votes
0 answers
27 views

"Cannot unify set with unit" error

I am trying to write a simple contract in which I am using set of records as storage. type data = { message : string, did: address }; type parameter = | ["Published"] | ["...
Parshant Singh's user avatar
3 votes
3 answers
133 views

Smart contract availability and diversity on Tezos

I am researching about Tezos to what smart contract language there are available to use. When I look at the TezosWiki and other sources I came up to with this list: Tezos Smart Contract Languages: ...
user avatar
0 votes
2 answers
48 views

TransferOwnership in Tezos

Is there an analog of transferOwnership in Tezos? It looks like it's possible to make custom FA2 contract and change owner. Is this correct? Looking for an authorative answer
user avatar
1 vote
1 answer
56 views

Tezos Smart Contract Language Specifications

Is there an equivalent "interface" keyword in any of the Tezos smart contract languages (i.e. smartpy, archetype, ligo) that is similar to solidity's keyword "interface". If there ...
hancockm's user avatar
2 votes
1 answer
162 views

How to get the owner of an FA2 token on chain

For an FA2 nft contract, how can I get the address of the owner of token_id 0 from inside another contract?
tinuggunit's user avatar
1 vote
2 answers
68 views

Can I create a smart contract from inside another smart contract in LIGO?

Through a parent contract, I want to be able to originate multiple child contracts. How can I do this in LIGO?
tinuggunit's user avatar
0 votes
1 answer
31 views

how to input data of type maps

This is a multiasset holding contract with code to mint and burn FA2 tokens but I am confused ion how to provide the inputs as it is getting errored token_info is the metadata section I want to put ...
Hari Krishna's user avatar
1 vote
2 answers
42 views

Truffle is not working for compiling and deploying

Is anybody here still using Truffle in order to compile and deploy Tezos projects? I created a project with it over a year ago and wanted to update the environment. After dowloading the latest Ligo ...
user avatar
0 votes
3 answers
47 views

Size of Big_map or Big_map is empty?

Is it possible to find the size of a Big_map, or to find out whether a Big_map is empty?
littlezigy's user avatar
0 votes
1 answer
107 views

In List.fold, does accumulator have to be the same type as list?

I'm trying to loop through a mapping list (type_a) and update a different mapping list (type_b). Both lists are different. For List.fold, does the accumulator have to be the same type as list? ie, if ...
littlezigy's user avatar
0 votes
1 answer
76 views

How to write function that uses polymorphic types

I'm trying to write some functions in (came)ligo that compare several values as long as they are ints, strings, or nats. compare_equal is one of them. This errors out with Only composed types of not ...
littlezigy's user avatar
0 votes
1 answer
46 views

How does Tezos Checker work?

I am looking at Tezos Checker and wondering if there is a visualization of the process flow how it works? Specifically something like this for example?
user avatar
1 vote
1 answer
134 views

Calling contract without knowing contract parameter type

If I wanted my contract to be able to call different types of contracts, with different parameters and parameter types, and I didn't know what those parameters were going to be ahead of time... I have ...
littlezigy's user avatar
0 votes
0 answers
76 views

ListValidationError on interacting with contract using Taquito

I'm trying to interact with this entrypoint using taquito parameter pair token_assets list($token_assets_item) trigger_time timestamp token_assets_item pair amount nat asset_id string ...
tinuggunit's user avatar
0 votes
1 answer
39 views

Ligo address being interpreted as string

I'm trying to initialise a contract that has an address option in its initial storage, but when I provide a valid address, it keeps being interpreted as a string; and compilation fails. I have here a ...
kokociel's user avatar
  • 128
0 votes
1 answer
36 views

JSLigo Error: Invalid record field in record

I'm trying to write a smart contract with JSLigo. This contract has a storage type with a single string field and 2 functions, to update and reset this string: type storage = { name: string }; ...
avl's user avatar
  • 69
0 votes
1 answer
212 views

error when deploying my smart contract

I created a smart contract it compiles without problem but I have an error when deploying, I don't know what this error can refer to... HttpResponse: Http error response: (500) [{"kind":&...
oriana's user avatar
  • 119
0 votes
1 answer
16 views

is it necessary to implement the permissions_descriptor?

With FA2 NFT tokens, is it necessary to implement the permissions_descriptor? As far as I can see in tzkt, it doesn't look like it's actually being used. Are there any contracts that are actually used?...
ans st's user avatar
  • 1
0 votes
2 answers
119 views

Tezos Contracts Compiling Error

I am just days into learning how to build a dapp on Tezos for my thesis. I tried replicating the steps from Claude's tutorial - https://hackernoon.com/build-your-first-dapp-on-tezos-rwgl3ymb I ran ...
Weoy Howe Ang's user avatar
2 votes
1 answer
63 views

Cannot get to initialize empty list in CameLIGO

I'm trying to write a smart contract in CameLIGO that looks like this parameters "Hello world" storage [{ text = "Blob"; voters = ["tz1TKc3zQBMv7Rez77sX4JNdqMvG33LQrURk"]}...
inpace's user avatar
  • 21
0 votes
2 answers
59 views

Do FA2 entrypoints need to be at the top level in order to comply with the spec?

Most of the example FA2 implementations I've found, as well as the deployed contracts I've investigated have the required FA2 entrypoints (transfer, balance_of, update_operators) buried in the second ...
Nox's user avatar
  • 131
0 votes
1 answer
50 views

How to check amount sent with transaction (like msg.value>6 in ethereum)

How do I check inside a contract entrypoint, that the user sent a particular amount with the transaction? In Frontend: const operation = await contractInstance.methods.methodName().send({amount:12}); ...
Saksham's user avatar
0 votes
1 answer
81 views

Is there a more sensible way to convert an int to a string in Cameligo?

Is there a more sensible way to convert an int to a string in Cameligo? Alternatively, is there a way to concatenate an int or nat with a string? type lookup = (int, string) map let lookup: lookup = ...
OrderAndChaos's user avatar
0 votes
1 answer
37 views

Compile multiple Ligo contracts at one go

I would like to compile all contracts in a folder at one go. I tried "compile all": "docker run --rm -v \"$PWD\":\"$PWD\" -w \"$PWD\" ligolang/ligo:0.24.0 ...
DottoreM's user avatar
  • 105
0 votes
2 answers
97 views

smart contract translation tool

Any known tool or website can translate the given online contract into ligo? For example, KT18fp5rcTW7mbWDmzFwjLDUhs5MeJmagDSZ, can I review the logic of this contract in ligo somewhere, however ...
Michelle Song's user avatar
1 vote
2 answers
100 views

what is the equivalent of ligo "compile-parameter" for smartpy?

The Smartpy compiler allow to compile a contract (compiling the code and the initial storage) but I don't see any "compile-parameter" option, that would allow to convert a smartpy command to ...
MohamedLEGH's user avatar
0 votes
1 answer
79 views

tqtezos / minter-sdk installation issue

I am trying to run below command for minter-contract on my local machine and getting error npm i @tqtezos/minter-contracts no such file or directory, chmod ‘/node_modules/@tqtezos/minter-contracts/...
murtza gondal's user avatar
0 votes
1 answer
94 views

Get entrypoint operation (get_entrypoint_opt) fails

I have some troubles to call a contract. This is the scenario: Contract B (Entrypoint method "transfer"): (pair %transfer (bytes %args1) (pair (string %args2) ...
Stiflers Mum's user avatar
1 vote
2 answers
331 views

Best Language to Use with Tezos

There are a lot of options when it comes to coding Smart Contracts on Tezos. My question is simple, which of the supported languages is the best in terms of support, east of use, documentation, and ...
Hassaan Ahmed's user avatar
2 votes
1 answer
62 views

Support for emojis in LIGO?

Is LIGO going to get native support for emojis? When I tried compiling a contract with the classic 🚀 (rocketship emoji) inside a string, I got the error Unexpected character '\240'. Honestly, without ...
emchristiansen's user avatar
0 votes
1 answer
29 views

Does LIGO support parameterized types?

Does LIGO support parameterized types? Consider rcons, which is like cons (::) but with the arguments flipped. I'd like to be able to write something like: let rcons((xs, x): T list * T): T list = x ...
emchristiansen's user avatar
0 votes
1 answer
51 views

What's an elegant way to write "take" in CameLIGO?

What's an elegant way to write the classic take function in CameLIGO? take takes the first num elements of a list. This is how I'm writing it currently, and it's ugly. Here, message is a type I ...
emchristiansen's user avatar
0 votes
1 answer
95 views

Cannot get transfer entrypoint

I'm trying to call an FA1.2 transfer function from another contract. Here is my endpoint in the FA1.2 contract: type action is | Transfer of michelson_pair(address, "from", michelson_pair(...
Daniel Gretzke's user avatar
0 votes
1 answer
24 views

Is SmartPy package inside All Michaelson Supported Languages?

I've discovered that Liquidity, LigoLang and Ocamel Support Tezos development, but I've only found 1 resource that states that SmartPy supports only LigoLang. I wanted to use the right language to ...
HighXTC's user avatar