Fix endless loop in type inference for over-applied functions gitlab #303 Change-Id: I5b7c4bc9dafc2cabcc5b152525824d7bc3432345
Warn for existential variables in head pattern referred only once #265 Change-Id: Ie022bbfb0b1829bc462bf88f44f65009464de096
Fixed record constructor resolving from namespaces Change-Id: Ib8b40c416672bcc97ec7ec24c97e1a0df08a8730
New solver for SCL effects inequalities In particularly, solving of cyclic inequalities. Change-Id: I5d5734e9f029bf694221db2d7fc994d16d8d607a
(refs #7866) Better error location for the NPE in compilation Change-Id: I3027ac4cd1061edefed6b46ddf1c79773d03caca
(refs #7776) Fixed module export for javaImports Change-Id: I50a5f635445d1b1d1df9dfc3ea0195f0859f86c0
(refs #7746) Fixed applications with intermediate effects Change-Id: Ida2b7c8e96cbfd45361838e69900a7307e69e343
Replace System.err and System.out with SLF4J Logging refs #7719 Change-Id: Iae42f94b542b17bc2e1aa839f506a6e1a46928ae
Fixed a bug related to the extent of variable frames (see test case) refs #7698 Change-Id: I18879f6cffb9f796f673f697711249c962b1e073
Fixed a bug related to as-pattern in list comprehension. refs #7642 Change-Id: I7f9b3b45d545e2fe793fcaa93b9d392972f0e53b
New SCL completion implementation refs #7638 Change-Id: I57d2ddc1628ff8da2421c4eda41ce5b83187543e
(refs #7621) Fixed handling of $ in application ignoring return value Change-Id: Id605cb22cb195d353970cc5ce8c45eecc2428841
(refs #7601) Wildcard syntax for SCL records Change-Id: Ia044ce4598d0897bbd7416527707b49211aba9e3
(refs #7588) Support for existential type variables with syntax ?v Change-Id: I418a9d260c02c7082e7a7359b90659ea2c3a96d4
(refs #7571) Fixed incorrect handling of effects in edo Change-Id: I6ba1b4d8690a726d08abf4be62309b51555f9743