]> 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: 63f6a68)
(refs #7214) Treat $ exactly like function application 09/509/2
authorHannu Niemistö <hannu.niemisto@iki.fi>
Thu, 11 May 2017 19:54:24 +0000 (22:54 +0300)
committerHannu Niemistö <hannu.niemisto@iki.fi>
Thu, 11 May 2017 20:10:49 +0000 (23:10 +0300)
Converts (f $ p) before type checking to (f p). This slightly changes
the semantics of the language for it is now possible to use $ with
functions like runProc, syncRead etc.

Change-Id: Ida816667a5c9d7623d59ca998a34fe98df5b4732


No differences found
Simantics Platform SDK.