luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add a note about the difference between ...T and T...

Browse source 
Fix a typo at the start as well.
This commit is contained in:
Vyacheslav Egorov 2021-11-30 20:06:16 +02:00
parent a496ce9039
commit 5bf0ca7db5
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/_pages/typecheck.md
View file

@ -289,7 +289,7 @@ type F = (...number) -> ...string
## Type packs ## Type packs
Multiple function return values as well as the function variadic parameter uses a type pack to represent a list of types. Multiple function return values as well as the function variadic parameter use a type pack to represent a list of types.
When a type alias is defined, generic type pack parameters can be used after the type parameters: When a type alias is defined, generic type pack parameters can be used after the type parameters:
@ -297,7 +297,9 @@ When a type alias is defined, generic type pack parameters can be used after the
type Signal<T, U...> = { f: (T, U...) -> (), data: T } type Signal<T, U...> = { f: (T, U...) -> (), data: T }
``` ```
Similarly, generic function can reference a generic type pack from the generics list: > Keep in mind that `...T` is a variadic type pack (many elements of the same type `T`), while `U...` is a generic type pack that can contain zero or more types and they don't have to be the same.
It is also possible for a generic function to reference a generic type pack from the generics list:
```lua ```lua
local function call<T, U...>(s: Signal<T, U...>, ...: U...) local function call<T, U...>(s: Signal<T, U...>, ...: U...)