From d12fc63571a2792f0f540ac4fe107e7fdcbe8e77 Mon Sep 17 00:00:00 2001
From: Sandy Brownlee <sbr@cs.stir.ac.uk>
Date: Fri, 19 Aug 2022 16:28:13 +0100
Subject: [PATCH] fixes for variable declarations

---
 .../src/main/java/triangle/contextualAnalyzer/Checker.java     | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java b/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
index 9a9f5b2..d7296c7 100644
--- a/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
+++ b/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
@@ -678,6 +678,7 @@ public final class Checker implements ActualParameterVisitor<FormalParameter, Vo
 	public TypeDenoter visitDotVname(DotVname ast, Void arg) {
 		ast.type = null;
 		var vType = ast.V.visit(this);
+		ast.variable = ast.V.variable;
 		if (vType instanceof RecordTypeDenoter record) {
 			ast.type = checkFieldIdentifier(record.FT, ast.I);
 			checkAndReportError(!ast.type.equals(StdEnvironment.errorType), "no field \"%\" in this record type",
@@ -695,8 +696,10 @@ public final class Checker implements ActualParameterVisitor<FormalParameter, Vo
 
 		var binding = ast.I.visit(this);
 		if (binding instanceof ConstantDeclaration constant) {
+			ast.variable = false;
 			return ast.type = constant.getType();
 		} else if (binding instanceof VariableDeclaration variable) {
+			ast.variable = true;
 			return ast.type = variable.getType();
 		}