blob: c32053c3db134743b0d0b3fcaa0c51e2c12c308a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
I care a lot about being able to automatically check _any_ property about my
program before it ever runs. However, some things don't have tests yet, either
because I don't know how to test them or because I've been lazy. I'll at least
record those here.
### Compromises
Lua is dynamically typed. Tests can't patch over lack of type-checking.
* All strings are UTF-8. Bytes within them are not characters. I try to label
byte offsets as _offset, and character positions as _pos. For example,
string.sub should never use a _pos to substring, only an _offset.
### Todo list
* resize:
* create a file containing a long line of characters without spaces. try
resizing the window vertically and horizontally, as far as possible.
|