tvl-depot/users/aspen/achilles/ach/functions.ach

ty id : fn a -> a
fn id x = x

ty plus : fn int -> int
fn plus (x: int) (y: int) = x + y

ty main : fn -> int
fn main = plus (id 2) 7
feat(gs/achilles): Prefix top-level ascriptions with `ty` This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> 2021-03-20 20:08:55 +01:00			`ty id : fn a -> a`
Initial commit 2021-03-07 21:29:59 +01:00			`fn id x = x`
feat(gs/achilles): Prefix top-level ascriptions with `ty` This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> 2021-03-20 20:08:55 +01:00
			`ty plus : fn int -> int`
Universally quantified type variables Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm. 2021-03-14 21:43:47 +01:00			`fn plus (x: int) (y: int) = x + y`
feat(gs/achilles): Prefix top-level ascriptions with `ty` This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> 2021-03-20 20:08:55 +01:00
			`ty main : fn -> int`
Initial commit 2021-03-07 21:29:59 +01:00			`fn main = plus (id 2) 7`