]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Small SCL changes 58/58/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Tue, 13 Sep 2016 13:49:01 +0000 (16:49 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Tue, 13 Sep 2016 13:49:01 +0000 (16:49 +0300)
Removed error message from subsumption constraints that
cannot be simplified away, because the simplification is not
working correctly in certain standard cases.

Removed Json2 from StandardLibrary

Small efficiency fix in Prelude

Check if the input block expression is empty in ExpressionEvalutor.

Change-Id: I1b1843cb7847886618aea5063aff53fef35814cb


No differences found