Skip to content

Commit

Permalink
Changes
Browse files Browse the repository at this point in the history
  • Loading branch information
trefis committed Jan 15, 2018
1 parent 9ec4697 commit aa3dc64
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions Changes
Expand Up @@ -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
Expand Down

0 comments on commit aa3dc64

Please sign in to comment.