about summary refs log blame commit diff stats
path: root/Manual_tests.md
blob: 690ccd9c78be86568cbd48d0767c590c46dbf1bb (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                                                                            


                                                                              





                                                                             


                                                                            



                                                                          




                                                                              


                                                                              







                                   
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 with the suffix `_offset`, and character positions as `_pos`.
  For example, `string.sub` should never use a `_pos` to substring, only an
  `_offset`.

* 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`.

* 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.

* Like any high-level language, it's easy to accidentally alias two non-scalar
  variables. I wish there was a way to require copy when assigning.

### Todo list

* Initializing settings:
    - from previous session
        - Filename as absolute path
        - Filename as relative path
    - from defaults