]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 3fb26dd) | patch
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
tree12d8d7dba213c696a006c948afc70ece22234581tree | snapshot
parent3fb26ddbd489f862bf8c28e78834c98bcc29382ecommit | diff
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 diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypingContext.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintEnvironment.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java diff | blob | history
bundles/org.simantics.scl.runtime/scl/Prelude.scl diff | blob | history
Simantics Platform SDK.