diff options
Diffstat (limited to 'users/glittershark/achilles/ach')
| -rw-r--r-- | users/glittershark/achilles/ach/.gitignore | 1 | ||||
| -rw-r--r-- | users/glittershark/achilles/ach/externs.ach | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/users/glittershark/achilles/ach/.gitignore b/users/glittershark/achilles/ach/.gitignore index 683a53a01f6c..07b37e168979 100644 --- a/users/glittershark/achilles/ach/.gitignore +++ b/users/glittershark/achilles/ach/.gitignore @@ -3,3 +3,4 @@ functions simple +externs diff --git a/users/glittershark/achilles/ach/externs.ach b/users/glittershark/achilles/ach/externs.ach new file mode 100644 index 000000000000..faf8ce90e353 --- /dev/null +++ b/users/glittershark/achilles/ach/externs.ach @@ -0,0 +1,5 @@ +extern puts : fn cstring -> int + +fn main = + let _ = puts "foobar" + in 0 |