diff options
| author | Eduardo Julian | 2019-04-04 23:41:22 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-04 23:41:22 -0400 |
| commit | 9a22a2616ad08d4bda9555510aa4aaeced4b69f3 (patch) | |
| tree | c6eb8815f797f0886ca50ee8e08be010529f0d37 /stdlib/source/program/scriptum.lux | |
| parent | 038b220675ab24b59ce4ebf42949b4b4beb2d659 (diff) | |
Added a small optimization when checking variants whose internal value can is ignored/popped.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
0 files changed, 0 insertions, 0 deletions