Multiple (horizontal) types for functions - Githubissues

pietervdvn / Lang

Yet another programming language

1 stars 1 forks source link

Multiple (horizontal) types for functions #54

Closed pietervdvn closed 9 years ago

pietervdvn commented 9 years ago

(+) : Nat -> Nat -> Nat   & Associative Nat & Commutative Nat Nat
(+) : Nat -> Nat -> Nat   , Associative Nat , Commutative Nat Nat

Both & and , will be interchangeably used.

[x] Introduce syntax in BNF
[x] Change parser
[x] Modify AST
[x] Add associative, commutative when needed in Num.Nat

Also see #49