From aa3dc64e5f596c402d78c46cd42c2b84e14a0293 Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Mon, 15 Jan 2018 16:47:38 +0000 Subject: [PATCH] Changes --- Changes | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Changes b/Changes index d234f4cd4d11..ac3786daebad 100644 --- a/Changes +++ b/Changes @@ -10,6 +10,10 @@ Working version (Nicolás Ojeda Bär, review by Gabriel Radanne, Damien Doligez, Gabriel Scherer) +- MPR#6422, MPR#7083, GPR#305, GPR#1568: Allow "exception" under or-patterns + (Thomas Refis, with help and review from Alain Frisch, Gabriel Scherer, Jeremy + Yallop, Leo White and Luc Maranget) + ### Type system: - MPR#7611, GPR#1491: reject the use of generative functors as applicative