about summary refs log tree commit diff
path: root/users/aspen/achilles/ach/units.ach
blob: 70635d978c7cd44be207b2f3fff9404fb288b282 (plain) (blame)
1
2
3
4
5
6
7
extern puts : fn cstring -> int

ty print : fn cstring -> ()
fn print x = let _ = puts x in ()

ty main : fn -> int
fn main = let _ = print "hi" in 0