fix lsp crash

This commit is contained in:
2026-04-02 21:47:05 -07:00
parent 6518b6847a
commit bfc9277f15

View File

@@ -56,7 +56,7 @@ toHex 0 = Nil
toHex v = snoc (toHex (div v 16)) (hexDigit v)
padding : Int Char String
padding n ch = go n Nil
padding n ch = if n < 1 then "" else go n Nil
where
go : Int List Char String
go 0 chs = pack chs