$ cat bad1.jsligo
interface FA0 {
type storage;
@entry const add : (s : int, k : storage) => [list<operation>, storage];
}
namespace Impl implements FA0 {
type storage = int;
@entry const add = (s : int, k : int) : [list<operation>, int] => [list([]), s + k];
@entry const extra = (s : int, k : int) : [list<operation>, int] => [list([]), s - k];
}
$ ligo compile contract bad1.jsligo -m Impl
Uncaught exception:
(Failure
"Corner case: not a well-formed match expression, this should have been caught while typing at File \"src/passes/13.1-expansion/decision_tree.ml\", line 686, characters 6-13")
Raised at Lwt.Miscellaneous.poll in file "src/core/lwt.ml", line 3077, characters 20-29
Called from Lwt_main.run.run_loop in file "src/unix/lwt_main.ml", line 31, characters 10-20
Called from Lwt_main.run in file "src/unix/lwt_main.ml", line 118, characters 8-13
Re-raised at Lwt_main.run in file "src/unix/lwt_main.ml", line 124, characters 4-13
Called from Cli_helpers.return_result_lwt in file "src/main/helpers/cli_helpers.ml", line 186, characters 19-63
Re-raised at Cli.run in file "src/bin/cli.ml", line 3196, characters 4-13
Called from Dune__exe__Runligo in file "src/bin/runligo.ml", line 2, characters 15-25