From b3ddfa2345dcb4def08fd6c35e23e43db414415f Mon Sep 17 00:00:00 2001 From: Julian Hurst Date: Mon, 26 Feb 2024 17:25:37 +0100 Subject: Fix casting issue --- main.ha | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.ha b/main.ha index 1ed2646..6c67efb 100644 --- a/main.ha +++ b/main.ha @@ -81,13 +81,13 @@ export fn main() void = { let ui = libtui::init(); defer libtui::finish(&ui); let sz = libtui::getwinsize(ui)!; - let rows: (u16 | size) = if (sz.rows - 1u16 < len(items)) { + let rows: u16 = if (sz.rows - 1u16 < len(items)) { yield sz.rows - 1u16; } else { - yield len(items); + yield len(items): u16; }; let l = list::newlistsz(ui, tty::ttysize { - rows = rows: u16, + rows = rows, columns = sz.columns, }, items...); libtui::addlistener(&ui, &globalrunehandler); -- cgit v1.2.3