From: Hannu Niemistö <hannu.niemisto@iki.fi>
Date: Mon, 17 Apr 2017 05:27:50 +0000 (+0300)
Subject: (refs #7141) Converted an error to a warning
X-Git-Tag: v1.29.0~109
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=34b35ae67bf4940f653690099759bc01699a56ab

(refs #7141) Converted an error to a warning

Change-Id: I8b29ed7d532a8c7ec09622a3e0fa55f925737bdc
---

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeChecking.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeChecking.java
index b8d959e19..58bb98a41 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeChecking.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeChecking.java
@@ -225,7 +225,7 @@ public class TypeChecking {
                                 if(compilationContext.errorLog.getErrorCount() != errorCountBeforeTypeChecking) {
                                     int typeArity = Types.getArity(type); 
                                     if(typeArity != functionArity)
-                                        compilationContext.errorLog.log(value.definitionLocation, "Possible problem: type declaration has " + typeArity + " parameter types, but function definition has " + functionArity + " parameters.");
+                                        compilationContext.errorLog.logWarning(value.definitionLocation, "Possible problem: type declaration has " + typeArity + " parameter types, but function definition has " + functionArity + " parameters.");
                                 }
                                 
                                 ArrayList<EVariable> demands = context.getConstraintDemand();