Correct typecheck of tail for seq1, fixes #669

overturetool · Mar 2, 2018 · cfeab45 · cfeab45
1 parent 1385c81
commit cfeab45
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/core/pog/src/test/resources/integration/legacy/sl/DFDexampleSL.vdmsl.result b/core/pog/src/test/resources/integration/legacy/sl/DFDexampleSL.vdmsl.result
diff --git a/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java b/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
@@ -3341,6 +3341,11 @@ else if (question.assistantFactory.createPTypeAssistant().isType(node.getLeft().
 			node.setType(AstFactory.newASeqSeqType(node.getLocation(), AstFactory.newAUnknownType(node.getLocation())));
 			return node.getType();
 		}
+		else if (etype instanceof ASeq1SeqType)
+		{
+			ASeq1SeqType s = (ASeq1SeqType)etype;
+			etype = AstFactory.newASeqSeqType(node.getLocation(), s.getSeqof());
+		}
 
 		node.setType(etype);
 		return etype;