type.argument_empty: Text that may be empty where it never is

Text that may be empty where it never is.

Area 19, Standard library; not declinable; the next step is usually the agent's.

Text an operation never takes empty (never_empty): text.replace's find and text.split's separator. A literal isn't "" and a value's type has a min_length of at least 1, so a search never looks for nothing and a split never cuts between every character, which other languages each do differently.

example

type Ingredients = Text {    max_length: 400}type Divider = Text {    max_length: 3}type IngredientCount = Int {    min: 0}/// How many ingredients a recipe line lists, split where the cook says.function ingredient_count(line: Ingredients, spacer: Divider) -> IngredientCount {    return IngredientCount(list.count(text.split(line, spacer)))}

text

error: `spacer` may be empty --> main.jadpo:15:56   |15 |     return IngredientCount(list.count(text.split(line, spacer)))   |                                                        ^^^^^^ `Divider` can be empty  reason: `text.split`'s `separator` is never empty, which is proved while compiling: a literal isn't `""` and a value's type has a `min_length` of at least 1; `Divider` allows empty text.  next: Pass a value whose type has `min_length: 1`, building it where empty text is handled (agent)  rule: type.argument_empty  help: https://jadpo.dev/docs/errors/type.argument_emptycheck failed: 1 error, 1 file