aboutsummaryrefslogtreecommitdiff
path: root/examples/errors.sil
diff options
context:
space:
mode:
authorCamil Staps2017-07-20 08:24:33 +0000
committerCamil Staps2017-07-20 08:24:33 +0000
commitb56b655f0bea1922999305d8e88bf16e874098a3 (patch)
tree8e236349c9325cd70664c09809a58ad9f1bcd46c /examples/errors.sil
parentAdd checks: no main, duplicate function, duplicate local (diff)
Add checks for locals with type Void
Diffstat (limited to 'examples/errors.sil')
-rw-r--r--examples/errors.sil4
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/errors.sil b/examples/errors.sil
index 4507097..8bad357 100644
--- a/examples/errors.sil
+++ b/examples/errors.sil
@@ -16,3 +16,7 @@ Void duplicateFunction() {
Void duplicateLocals(Int a) {
Int a;
}
+
+Void localVoid(Void x) {
+ Void y;
+}