Support an array that dynamically resizes itself, and replace usages of `List`, `Array`, and `Queue` with `Vec`. Change-Id: I910b140b7c1bdddae40e08f8191986dccbc6fddf Reviewed-on: https://cl.tvl.fyi/c/depot/+/7080 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> |
||
|---|---|---|
| .. | ||
| .envrc | ||
| .gitignore | ||
| debug.ml | ||
| expr_parser.ml | ||
| inference.ml | ||
| parser.ml | ||
| prettify.ml | ||
| register_vm.ml | ||
| register_vm.py | ||
| shell.nix | ||
| tests.ml | ||
| type_parser.ml | ||
| types.ml | ||
| vec.ml | ||