summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:38:12 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:38:12 -0500
commitc88ae0814f322f82e8daf53b19086326bbca0327 (patch)
tree9980c074464ca3688aa51e7c131e13d787d84146 /tests
parent41b0fd58713cba30bcb8cdf964fa9a526a5ab20d (diff)
Exit code of 1 on compilation failure
Diffstat (limited to 'tests')
-rw-r--r--tests/bad.ur1
-rw-r--r--tests/bad.urp2
2 files changed, 3 insertions, 0 deletions
diff --git a/tests/bad.ur b/tests/bad.ur
new file mode 100644
index 00000000..60419db7
--- /dev/null
+++ b/tests/bad.ur
@@ -0,0 +1 @@
+fun main $ = 0
diff --git a/tests/bad.urp b/tests/bad.urp
new file mode 100644
index 00000000..3e17f350
--- /dev/null
+++ b/tests/bad.urp
@@ -0,0 +1,2 @@
+
+bad