Yi Ming
241a725e17
fix(pos): get_lines() return empty table when file opening fails
...
Problem:
`get_lines()` may returns empty table when file opening fails,
so every existing caller use `get_line() or ''` to avoid nil result.
This also does not match the annotated return type of `get_line()`,
which is `string` instead of `string?`.
Solution:
Make `get_line()` return empty string when file opening fails.
2026-06-02 18:17:03 +08:00
..
2026-05-31 13:00:32 +00:00
2026-02-01 08:22:07 +08:00
2026-05-29 09:35:37 +08:00
2026-06-01 01:04:30 +00:00
2026-05-29 09:06:12 +08:00
2026-05-30 11:37:28 +08:00
2026-01-26 06:53:53 +08:00
2026-06-02 18:17:03 +08:00
2026-05-29 09:06:12 +08:00
2026-05-21 12:46:30 +00:00
2026-02-26 19:26:35 +01:00
2026-04-24 14:45:20 -04:00
2022-03-13 04:52:45 +00:00
2026-05-31 09:36:07 +08:00
2026-05-13 07:31:17 -04:00
2026-04-14 11:13:03 -05:00
2023-08-13 13:25:10 +01:00
2025-12-30 01:44:24 -05:00
2026-05-17 09:56:37 -04:00
2026-03-12 11:12:56 +01:00
2023-08-13 13:25:10 +01:00
2023-08-13 13:25:10 +01:00
2023-08-13 13:25:10 +01:00
2025-08-22 19:10:43 +02:00
2023-08-13 13:25:10 +01:00
2023-08-13 13:25:10 +01:00
2025-08-20 07:23:49 +08:00
2026-01-20 07:56:50 +08:00
2022-10-13 05:48:12 -07:00
2019-03-11 21:00:12 +01:00
2026-04-14 11:13:03 -05:00
2026-04-14 11:13:03 -05:00
2025-08-20 07:23:49 +08:00
2024-07-02 13:05:16 +02:00