From 9bd0a6e2f87be55eab19363fa09674f2975b89a9 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sat, 9 Nov 2019 21:19:35 +0100 Subject: A refined version of #8890 which prevents #11033. We restrict #8890 so that it looks for a notation only for the fully applied coercion. --- .../03-notations/11090-master+refactoring-application-printing.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changelog/03-notations/11090-master+refactoring-application-printing.rst (limited to 'doc') diff --git a/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst b/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst new file mode 100644 index 0000000000..5c3936073a --- /dev/null +++ b/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst @@ -0,0 +1 @@ +- Fixed #11033: regression in not printing coercions to which is also associated a notation (`#11090 `_, by Hugo Herbelin). -- cgit v1.2.3