]> 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: a27d302)
Declare effects for constants and variables 11/411/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 13 Apr 2017 10:08:54 +0000 (13:08 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 13 Apr 2017 11:28:45 +0000 (14:28 +0300)
Effectful constants and variables now correctly declare their effects.

refs #7140
[PRIVATE-13312]

Change-Id: Ie40c3985ac61acb707293161b8aefb361d691732
(cherry picked from commit 6f75cd65e0ba87535a4b92003604f8f5fc94e9d5)


No differences found
Simantics Platform SDK.