master
Thomas Refis 2018-04-24 15:12:36 +01:00
parent cd01b18ee8
commit e9c423ead9
1 changed files with 3 additions and 0 deletions

View File

@ -42,6 +42,9 @@ Working version
(Arthur Charguéraud and Armaël Guéneau, with help and advice
from Gabriel Scherer, Frédéric Bour, Xavier Clerc and Leo White)
- GPR#1737: Update locations during destructive substitutions
(Thomas Refis, review by Gabriel Radanne)
- GPR#1748: do not error when instantiating polymorphic fields in patterns
(Thomas Refis, review by Gabriel Scherer)