From ea4794ccdc9d0d8709ba22e43494e392b48be768 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 27 Jul 2017 13:05:23 +0200 Subject: Resolve #4: mandatory initial values for basic locals --- Sil/Syntax.dcl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Sil/Syntax.dcl') diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index 1b3b44a..669f2f6 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -28,8 +28,9 @@ from Sil.Types import :: Type } :: Initialisation = - { init_type :: Type - , init_name :: Name + { init_type :: Type + , init_name :: Name + , init_value :: Maybe Expression } :: Statement -- cgit v1.2.3