From 7364919175a6bc988d17523005917933f0680492 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 19 Jul 2017 12:30:10 +0000 Subject: Nomenclature: Application type is now Expression --- Sil/Syntax.icl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Sil/Syntax.icl') diff --git a/Sil/Syntax.icl b/Sil/Syntax.icl index ec7aafa..c812508 100644 --- a/Sil/Syntax.icl +++ b/Sil/Syntax.icl @@ -11,7 +11,7 @@ import Sil.Util.Printer instance toString Statement where toString (Declaration n a) = n <+ " := " <+ a <+ ";" - toString (Application app) = toString app <+ ";" + toString (Application e) = toString e <+ ";" toString (Return Nothing) = "return;" toString (Return (Just a)) = "return " <+ a <+ ";" toString (If bs e) = "if ..." @@ -26,7 +26,7 @@ where instance toString Arg where toString arg = arg.arg_type <+ " " <+ arg.arg_name -instance toString Application +instance toString Expression where toString (Name n) = n toString (Literal lit) = toString lit -- cgit v1.2.3