diff --git a/guppylang/prelude/builtins.py b/guppylang/prelude/builtins.py index 57130818..f680fc00 100644 --- a/guppylang/prelude/builtins.py +++ b/guppylang/prelude/builtins.py @@ -563,7 +563,7 @@ def __new__(): ... @guppy.extend_type(sized_iter_type_def) class SizedIter: - """A wrapper around an iterator type `T` promising that the iterator will yield + """A wrapper around an iterator type `L` promising that the iterator will yield exactly `n` values. Annotating an iterator with an incorrect size is undefined behaviour.