Variadic functions currently cannot carry type information for variadic arguments. This is due to the lack of syntactic support for type declarations in pairs (#6).
Once the parser adds support for it, then this should require a trivial refactoring of variadic function type checking clauses.
Variadic functions currently cannot carry type information for variadic arguments. This is due to the lack of syntactic support for type declarations in pairs (#6).
Once the parser adds support for it, then this should require a trivial refactoring of variadic function type checking clauses.