diff options
| author | Ekaitz Zarraga <ekaitz@elenq.tech> | 2022-07-19 15:41:28 +0200 |
|---|---|---|
| committer | Ekaitz Zarraga <ekaitz@elenq.tech> | 2022-07-19 15:41:28 +0200 |
| commit | 95b1e787db0b31834e79c0a5186c1fa571b3c613 (patch) | |
| tree | 0ea4ea71f3449d3a65bc73c5cc20d426c5f791cf /run-repl.sh | |
| parent | 279d03cdb8ca420ffc09b5eccf09c59eb46e9d02 (diff) | |
Simplify the instruction load and execution process
This makes the process a little bit lighter, but it doesn't have a huge
impact in the performance. Looks like we are avoiding a memory
allocation without the `values` call.
Diffstat (limited to 'run-repl.sh')
0 files changed, 0 insertions, 0 deletions