From a81c2de033b37c22be1ca6794ab32347a9917610 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sun, 17 Nov 2019 09:39:50 +0100 Subject: Fixing bugs in the computation of implicit arguments for fix with a let binder. --- .../11132-master+fix-implicit-let-fixpoint-bug3282.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changelog/02-specification-language/11132-master+fix-implicit-let-fixpoint-bug3282.rst (limited to 'doc') diff --git a/doc/changelog/02-specification-language/11132-master+fix-implicit-let-fixpoint-bug3282.rst b/doc/changelog/02-specification-language/11132-master+fix-implicit-let-fixpoint-bug3282.rst new file mode 100644 index 0000000000..3ee3444c60 --- /dev/null +++ b/doc/changelog/02-specification-language/11132-master+fix-implicit-let-fixpoint-bug3282.rst @@ -0,0 +1 @@ +- Fixed bugs sometimes preventing to define valid (co)fixpoints with implicit arguments in the presence of local definitions, see #3282 (`#11132 `_, by Hugo Herbelin). -- cgit v1.2.3