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)
commit0fef79ab46ef07e8f7af6ff211c2b884fc4b735d
tree268964c7bfd306a1f6c272c42955a71fb0a519f0
parent2e00706ab0e92835dde7044c43ae569bdce8a074
Small SCL changes

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
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/top/ExpressionEvaluator.java
bundles/org.simantics.scl.runtime/scl/Prelude.scl
bundles/org.simantics.scl.runtime/scl/StandardLibrary.scl