Fixed leftover problems in unification of *Array and Vector types 13/1413/1
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 31 Jan 2018 14:58:34 +0000 (16:58 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 31 Jan 2018 14:58:34 +0000 (16:58 +0200)
commitb4c720aaf27b84a479d800ed8a1e130f924213ef
tree12d8d7dba213c696a006c948afc70ece22234581
parent3fb26ddbd489f862bf8c28e78834c98bcc29382e
Fixed leftover problems in unification of *Array and Vector types

The fix was to remove the leftover `Show DoubleArray` instance from
Prelude.

ConstraintEnvironment.reduce now produces better error output in cases
where reduction cannot be completed due to multiple remaining matches.

refs #7734

Change-Id: Id970c1090f5bf951c94e99e645664e86b1adb42d
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeChecking.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypingContext.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintEnvironment.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java
bundles/org.simantics.scl.runtime/scl/Prelude.scl