Revision 2d5acbfa91dde2e6d2fff91afa1122f310ee1c9e authored by martoon on 28 August 2023, 23:20:02 UTC, committed by martoon on 29 August 2023, 00:08:26 UTC
Instead of having a `failed` flag, carry stack as enum. The point is that we can check that enum once, and then carry the inner `Stack` value around. Changes: * Added `FStack` that is a `Option`-like enum wrapping `Stack`. * `debug_assert` went away. * Pattern-matching macro had to be expanded to include the failing stack too, that's necessary for failing. * `protected` gets hard to implement, I had to copy-paste code + it performs unnecessary check.
1 parent b23eb04
File | Mode | Size |
---|---|---|
.merlin | -rw-r--r-- | 63 bytes |
JSON_AST.ml | -rw-r--r-- | 651 bytes |
JSON_lexer.mll | -rw-r--r-- | 814 bytes |
JSON_parser.mly | -rw-r--r-- | 553 bytes |
Makefile | -rw-r--r-- | 1.3 KB |
README.md | -rw-r--r-- | 1.1 KB |
main.ml | -rw-r--r-- | 239.4 KB |
main.mli | -rw-r--r-- | 2.1 KB |
manifest.ml | -rw-r--r-- | 128.9 KB |
manifest.mli | -rw-r--r-- | 48.6 KB |
tezos_protocol.ml | -rw-r--r-- | 1.7 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...