diff options
Diffstat (limited to 'users/glittershark/achilles/ach')
-rw-r--r-- | users/glittershark/achilles/ach/.gitignore | 7 | ||||
-rw-r--r-- | users/glittershark/achilles/ach/Makefile | 15 | ||||
-rw-r--r-- | users/glittershark/achilles/ach/externs.ach | 5 | ||||
-rw-r--r-- | users/glittershark/achilles/ach/functions.ach | 8 | ||||
-rw-r--r-- | users/glittershark/achilles/ach/simple.ach | 1 | ||||
-rw-r--r-- | users/glittershark/achilles/ach/units.ach | 7 |
6 files changed, 0 insertions, 43 deletions
diff --git a/users/glittershark/achilles/ach/.gitignore b/users/glittershark/achilles/ach/.gitignore deleted file mode 100644 index ac5296ebbd74..000000000000 --- a/users/glittershark/achilles/ach/.gitignore +++ /dev/null @@ -1,7 +0,0 @@ -*.ll -*.o - -functions -simple -externs -units diff --git a/users/glittershark/achilles/ach/Makefile b/users/glittershark/achilles/ach/Makefile deleted file mode 100644 index 3a8cd2865e87..000000000000 --- a/users/glittershark/achilles/ach/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -default: simple - -%.ll: %.ach - cargo run -- compile $< -o $@ -f llvm - -%.o: %.ll - llc $< -o $@ -filetype=obj - -%: %.o - clang $< -o $@ - -.PHONY: clean - -clean: - @rm -f *.ll *.o simple functions diff --git a/users/glittershark/achilles/ach/externs.ach b/users/glittershark/achilles/ach/externs.ach deleted file mode 100644 index faf8ce90e353..000000000000 --- a/users/glittershark/achilles/ach/externs.ach +++ /dev/null @@ -1,5 +0,0 @@ -extern puts : fn cstring -> int - -fn main = - let _ = puts "foobar" - in 0 diff --git a/users/glittershark/achilles/ach/functions.ach b/users/glittershark/achilles/ach/functions.ach deleted file mode 100644 index dc6e7a1f3e34..000000000000 --- a/users/glittershark/achilles/ach/functions.ach +++ /dev/null @@ -1,8 +0,0 @@ -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 diff --git a/users/glittershark/achilles/ach/simple.ach b/users/glittershark/achilles/ach/simple.ach deleted file mode 100644 index 20f1677235c0..000000000000 --- a/users/glittershark/achilles/ach/simple.ach +++ /dev/null @@ -1 +0,0 @@ -fn main = let x = 2; y = 3 in x + y diff --git a/users/glittershark/achilles/ach/units.ach b/users/glittershark/achilles/ach/units.ach deleted file mode 100644 index 70635d978c7c..000000000000 --- a/users/glittershark/achilles/ach/units.ach +++ /dev/null @@ -1,7 +0,0 @@ -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 |