-
- Downloads
[#1711] Support singleton types
Problem: in LIGO some builtin types have a singleton type marker (for e.g. `sapling_state` and `sapling_transaction`). However, in `ligo-squirrel` in `Cli.Json` they are not supported. In the variables pane they'll look like `(* unsupported type Singleton *)`. Solution: copypaste `literal_value` from LIGO compiler into `Cli.Json` and add a conversion of `LigoTypeLiteralValue` to `LIGO Info`.
Showing
- tools/debugger/ligo-debugger/test/Test/Snapshots.hs 17 additions, 6 deletionstools/debugger/ligo-debugger/test/Test/Snapshots.hs
- tools/debugger/ligo-debugger/test/Test/Util.hs 1 addition, 0 deletionstools/debugger/ligo-debugger/test/Test/Util.hs
- tools/debugger/ligo-debugger/test/contracts/tezos-types.mligo 4 additions, 0 deletions...s/debugger/ligo-debugger/test/contracts/tezos-types.mligo
- tools/lsp/squirrel/ligo-squirrel.cabal 1 addition, 0 deletionstools/lsp/squirrel/ligo-squirrel.cabal
- tools/lsp/squirrel/package.yaml 1 addition, 0 deletionstools/lsp/squirrel/package.yaml
- tools/lsp/squirrel/src/Cli/Json.hs 102 additions, 27 deletionstools/lsp/squirrel/src/Cli/Json.hs
Loading
Please register or sign in to comment