2022-06-14 23:14:08 +01:00
|
|
|
I care a lot about being able to automatically check _any_ property about my
|
2022-06-15 06:47:49 +01:00
|
|
|
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.
|
2022-06-14 23:14:08 +01:00
|
|
|
|
|
|
|
### 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
|
2022-06-20 16:24:56 +01:00
|
|
|
byte offsets with the suffix `_offset`, and character positions as `_pos`.
|
|
|
|
For example, `string.sub` should never use a `_pos` to substring, only an
|
|
|
|
`_offset`.
|
2022-06-21 15:20:25 +01:00
|
|
|
|
|
|
|
* Some ADT/interface support would be helpful in keeping per-line state in
|
|
|
|
sync. Any change to line data should clear line `fragments` and
|
|
|
|
`screen_line_starting_pos`.
|
2022-06-23 19:41:29 +01:00
|
|
|
|
|
|
|
* Some inputs get processed in love.textinput and some in love.keypressed.
|
|
|
|
Several bugs have arisen due to destructive interference between the two for
|
|
|
|
some key chord. I wish I could guarantee that the two sets are disjoint. But
|
|
|
|
perhaps I'm not thinking about this right.
|