fix minor type error introduced in line_gap.sml in last commit (was returning an integer instead of a char)
This commit is contained in:
@@ -2294,8 +2294,10 @@ struct
|
|||||||
raise Fail "not found"
|
raise Fail "not found"
|
||||||
|
|
||||||
fun sub (findIdx, buffer: t) =
|
fun sub (findIdx, buffer: t) =
|
||||||
if findIdx < #idx buffer then 0
|
if findIdx < #idx buffer then
|
||||||
else subRight (findIdx, #idx buffer, #rightStrings buffer)
|
subLeft (findIdx, #idx buffer, #leftStrings buffer)
|
||||||
|
else
|
||||||
|
subRight (findIdx, #idx buffer, #rightStrings buffer)
|
||||||
|
|
||||||
local
|
local
|
||||||
fun consIfNotEmpty (s, acc) =
|
fun consIfNotEmpty (s, acc) =
|
||||||
|
|||||||
Reference in New Issue
Block a user