diff options
author | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
---|---|---|
committer | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
commit | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (patch) | |
tree | 80390b00a6009cea21fbb68cbf56e6a193b478a2 /ach | |
parent | 7960c3270e1a338f4da40d044a6896df96d82c79 (diff) |
Universally quantified type variables
Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.
Diffstat (limited to 'ach')
-rw-r--r-- | ach/functions.ach | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ach/functions.ach b/ach/functions.ach index 8d91564c1559..0d2f07eff574 100644 --- a/ach/functions.ach +++ b/ach/functions.ach @@ -1,3 +1,3 @@ fn id x = x -fn plus x y = x + y +fn plus (x: int) (y: int) = x + y fn main = plus (id 2) 7 |