Warn for existential variables in head pattern referred only once #265 Change-Id: Ie022bbfb0b1829bc462bf88f44f65009464de096
(refs #7746) Fixed applications with intermediate effects Change-Id: Ida2b7c8e96cbfd45361838e69900a7307e69e343
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