]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 1ca7c5a) | patch
Fix endless loop in type inference for over-applied functions 42/2942/1
authorReino Ruusu <reino.ruusu@semantum.fi>
Tue, 11 Jun 2019 13:57:07 +0000 (16:57 +0300)
committerReino Ruusu <reino.ruusu@semantum.fi>
Tue, 11 Jun 2019 13:57:07 +0000 (16:57 +0300)
commitd09b3768f601b5ee977c2e80c23ef96e9879f8f1
treef8bf9abe6bf50c58d7a29e028e7212f393e0b54ftree | snapshot
parent1ca7c5aad9e845ca9969ea37c7d4bef54e94b9e2commit | diff
Fix endless loop in type inference for over-applied functions

gitlab #303

Change-Id: I5b7c4bc9dafc2cabcc5b152525824d7bc3432345
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EApply.java diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/TypeInferenceBug4.scl [new file with mode: 0644] blob
Simantics Platform SDK.