Fix endless loop in type inference for over-applied functions gitlab #303 Change-Id: I5b7c4bc9dafc2cabcc5b152525824d7bc3432345
Fixed record constructor resolving from namespaces Change-Id: Ib8b40c416672bcc97ec7ec24c97e1a0df08a8730
New SCL syntax <<effects>> Change-Id: Iec61620d424e583b854a743ccc4ac37dc8e8f56f
(refs #7866) Better error location for the NPE in compilation Change-Id: I3027ac4cd1061edefed6b46ddf1c79773d03caca
(refs #7776) Fixed module export for javaImports Change-Id: I50a5f635445d1b1d1df9dfc3ea0195f0859f86c0
Merge "(refs #7771) Fixed invalid inline"
(refs #7767) SafeDynamic module Change-Id: I7691aa77ab048f71b7906512bd6962bd52b2e230
(refs #7771) Fixed invalid inline Change-Id: I7b28d6915e792bc9fe858c701d1138f9082dcea3
(refs #7746) Fixed applications with intermediate effects Change-Id: Ida2b7c8e96cbfd45361838e69900a7307e69e343
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
(refs #7621) Fixed handling of $ in application ignoring return value Change-Id: Id605cb22cb195d353970cc5ce8c45eecc2428841
(refs #7601) Wildcard syntax for SCL records Change-Id: Ia044ce4598d0897bbd7416527707b49211aba9e3
(refs #7571) Fixed incorrect handling of effects in edo Change-Id: I6ba1b4d8690a726d08abf4be62309b51555f9743
(refs #7567) Added throw function to builtins Change-Id: I273e5c85b4a842e0ce4dc1603800742f9fbb6ea5
Merge "(refs #7508) Edo and modified mdo under edo feature"
(refs #7508) Edo and modified mdo under edo feature Change-Id: I37c9a0e09ef436f29a5fcd92d7f10f14671059c0
(refs #7536) Implemented deconstruct in CallJava for static fields Allow use of uppercase static fields (and enums) imported from Java to be used in pattern matching Change-Id: Ifb647c18fe66904c190ffc3b27ca65e606333435
Fixed incorrect interaction of EAmbigious and TMetaVar.setRef refs #7530 Change-Id: I6b06e164861fd5eaf7dba9377311106133dd775f
(refs #7508) Added missing effects in the simplification of EBind Change-Id: I648db6332ebc7d6501dd07c44271bab0b5ab7857