asoffer / Icarus

An experimental general-purpose programming language
Apache License 2.0
9 stars 2 forks source link

FunctionType named parameters #36

Closed asoffer closed 3 years ago

asoffer commented 3 years ago

Function types should support named parameters. Both of these should be valid: bool -> bool, (b: bool) -> bool. We do not need to support (and shouldn't allow names in return parameters because those are not part of the type signature.