]> 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: 6f75cd6)
Declare effects for constants and variables 10/410/2
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:10:09 +0000 (14:10 +0300)
Effectful constants and variables now correctly declare their effects.

refs #7140
[PRIVATE-13312]

Change-Id: Ie40c3985ac61acb707293161b8aefb361d691732


No differences found
Simantics Platform SDK.