Commit Graph

19 Commits

Author SHA1 Message Date
58a56e9685 address a few things I forgot in line_gap.sml 2024-07-03 17:41:04 +01:00
3a954ceb4c remove dead comment 2024-07-03 14:49:32 +01:00
0012304854 verify another if-statement case 2024-07-03 14:35:38 +01:00
5117678c1d fix another buggy Vector.tabulate case 2024-07-03 14:05:27 +01:00
65b3db2a6a add comments about sume parts that are verified to work as far as line breaks go 2024-07-02 06:02:16 +01:00
3e924b1082 verify that moveLeftAndIns works as expected 2024-07-01 07:40:17 +01:00
1be8a40e48 fix another Vector.tabulate bug (else if statement starting from line 473) 2024-07-01 06:52:32 +01:00
c9a221b5bd clean up one if-statement branch a little 2024-06-30 16:40:05 +01:00
685a9b0e4d fix another vector joining case 2024-06-30 16:30:12 +01:00
06ca2a27a4 some bug fixing. (Code is in a messed up/broken/deoptimised stated, but I will fix that once all bugs are address.) 2024-06-30 15:14:21 +01:00
ca6cf36076 start testing correctness of line metadata 2024-06-30 02:05:48 +01:00
ba7d3579b4 move if statement that only needs to be checked once from helpBinSearch, which is recursive, to binSearch which is not recursive, for negligibly better performance (fewer branch predictions) 2024-06-30 01:37:52 +01:00
75aba5e8e1 progress on fixing exceptions with regard to vector 2024-06-30 01:32:59 +01:00
6af253eed9 verified through testing that insertion works as expected as far as contents of string is concerned. However, have added print statements which I need to remove when I have a fully working implementation 2024-06-30 00:50:38 +01:00
37653a7c85 address compiler errors/warnings 2024-06-29 23:40:39 +01:00
ffaaa8993e I think implemented insert correctly. Next: check for compile errors, and then test that insert functions as expected. 2024-06-29 23:27:32 +01:00
dfeb4c4647 progress coding fun insInRightList 2024-06-29 17:46:43 +01:00
99de90febc progress with insertion on line_gap.sml 2024-06-29 06:50:52 +01:00
2583e0edea begin coding insert for line gap buffer 2024-06-28 07:16:10 +01:00