liquidity
liquidity copied to clipboard
OCamlPro
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
When will Liquidity be updated to the current standards? Or is it abandoned?
Variant types cannot be recursive in Liquidity. That means that it is not possible to define custom types like `list` or `tree`. For `list` one can use built-in lists, of...
Currently, Liquidity imposes some constraints on recursive function definitions * Recursive functions can only be tail-recursive. * Recursive functions take a single argument. Are there any plans to improve the...
I hit the following issue when using closures in Liquidity. The example below does not compile giving `Types ((int -> int)[@closure :int]) and int -> int are not compatible` ```OCaml...
fixes https://github.com/OCamlPro/liquidity/issues/261
``` [%%entry let play (var23 : int) (storage : storage) = (let some60 = Some ((Current.sender ()), var23) in let storage_fst61 = storage.(0p) in let res62 = match storage_fst61 with...
Followed instructions and found a bit of an issue, so I updated them to work as per noted in https://github.com/ocaml/opam/issues/3815 The rest seemed to work fine save for some libraries...
