diff options
| author | gingerBill <bill@gingerbill.org> | 2018-10-13 13:19:52 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-10-13 13:19:52 +0100 |
| commit | 42b42db67544f6037cfb3aac2d486161bc0e2147 (patch) | |
| tree | 5b7bc7e04d2e59d9ca1beb7f8e774336cb4a0eb3 /src/string.cpp | |
| parent | 73e9dbbf8c4a68dc6c512eb2de568d59df046494 (diff) | |
Add `unimplemented` and `unreachable` procedures; make `os.exit` a diverging procedure
Diffstat (limited to 'src/string.cpp')
0 files changed, 0 insertions, 0 deletions