From f47e6e90fb55066ff602a1448fc2d3f650449559 Mon Sep 17 00:00:00 2001 From: chriseth Date: Fri, 23 Jun 2017 18:37:15 +0200 Subject: Disallow comparisons between some types. --- Changelog.md | 1 + 1 file changed, 1 insertion(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index cfedf1fc..8eaa8271 100644 --- a/Changelog.md +++ b/Changelog.md @@ -19,6 +19,7 @@ Bugfixes: * Type Checker: Fix address literals not being treated as compile-time constants. * Type Checker: Disallow invoking the same modifier multiple times. * Type Checker: Make UTF8-validation a bit more sloppy to include more valid sequences. + * Type Checker: Disallow comparisons between mapping and non-internal function types. * Type Checker: Do not treat strings that look like addresses as addresses. * Fixed crash concerning non-callable types. * Unused variable warnings no longer issued for variables used inside inline assembly. -- cgit v1.2.3 From d0b6de0b346b319c85747fdbee76c1d204d6ced6 Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 21 Jun 2017 19:32:56 +0200 Subject: Warn about copies in storage that might overwrite unexpectedly. --- Changelog.md | 1 + 1 file changed, 1 insertion(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index cfedf1fc..183f79ab 100644 --- a/Changelog.md +++ b/Changelog.md @@ -11,6 +11,7 @@ Features: * Inline Assembly: introduce ``keccak256`` as an opcode. ``sha3`` is still a valid alias. * Inline Assembly: ``for`` and ``switch`` statements. * Inline Assembly: function definitions and function calls. + * Type Checker: Warn about copies in storage that might overwrite unexpectedly. * Code Generator: Added the Whiskers template system. * Remove obsolete Why3 output. -- cgit v1.2.3