]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Accept existential variables as record shorthand fields 09/409/1
authorHannu Niemistö <hannu.niemisto@iki.fi>
Mon, 10 Apr 2017 21:27:16 +0000 (00:27 +0300)
committerHannu Niemistö <hannu.niemisto@iki.fi>
Mon, 10 Apr 2017 21:27:16 +0000 (00:27 +0300)
Change-Id: I2d4ca35f26ba80795696b357f81d778420f40d51


No differences found