]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Code Review / simantics / platform.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | patch | inline | side by side (from: b4c720a)
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)
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


No differences found
Simantics Platform SDK.