From b56b655f0bea1922999305d8e88bf16e874098a3 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 20 Jul 2017 08:24:33 +0000 Subject: Add checks for locals with type Void --- examples/errors.sil | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'examples') 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; +} -- cgit v1.2.3