Humza Shahid cf93d5885f remove unneeded function

2025-08-03 16:52:55 +01:00

..

cursor-dfa

remove unneeded function

2025-08-03 16:52:55 +01:00

app-type.sml

move msgs into AppType.app_type, and refactor AppUpdate.update function to have type (app_type -> app_type) instead of pervious case which was (app_type -> app_type * MailboxType.t list). Reason: no need to allocate/return tuple when can store messages in type directly; previous msg list will be reset after each app update. All tests after refactor are passing.

2024-12-17 10:40:06 +00:00

app-update.sml

remove a couple of unneded functions

2025-08-03 14:32:44 +01:00

app-with.sml

begin scaffolding for adding deletion tests

2025-03-23 07:47:38 +00:00

bin-search.sml

add 'SearchList.exists' function to fcore/search-list.sml function, and make sure we check if mmatchedIdx exists before inserting or appending (so we maintain set-like semantics where each number exists only once)

2024-11-24 21:38:58 +00:00

build-search-list.sml

fix bug in building search list from range: if first index is less than 0, then start from 0, or else start from calculation

2025-08-03 13:41:11 +01:00

cursor.sml

remove a couple of unneded functions

2025-08-03 14:32:44 +01:00

finish.sml

with cursor movements, instead of passing in functions as parameters (callbacks/higher order functions), functorise the cursor movement functions instead so we can take advantage of defunctorisation and avoid the runtime cost of closures/higher order functions/function pointers

2025-01-09 22:30:51 +00:00

move.sml

a bit of formatting

2025-08-03 14:18:17 +01:00

rect.sml

replace text-builder.sml's 'buildCursor' function with a new 'Rect.lerp' function (which is in fcore/rect.sml)

2024-11-15 21:14:43 +00:00

search-list.sml

add 'SearchList.exists' function to fcore/search-list.sml function, and make sure we check if mmatchedIdx exists before inserting or appending (so we maintain set-like semantics where each number exists only once)

2024-11-24 21:38:58 +00:00

text-builder.sml

address todo in text-builder.sml by adding prerequisite: always call SearchList.goToNum before calling TextBuilder.build

2024-11-25 04:37:47 +00:00

text-constants.sml

a bit of refactoring to allow addition of more tests

2025-03-22 05:18:25 +00:00

text-window.sml

a bit of refactoring to allow addition of more tests

2025-03-22 05:18:25 +00:00