Skip to content

Commit

Permalink
Changes
Browse files Browse the repository at this point in the history
  • Loading branch information
Julow committed Mar 11, 2019
1 parent 0bc5b71 commit 32eafc7
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Changes
Original file line number Diff line number Diff line change
Expand Up @@ -69,6 +69,9 @@ Working version
(Jules Aguillon, review by Nicolás Ojeda Bär , Florian Angeletti,
Gabriel Scherer and Armaël Guéneau)

- GPR#2307: Hint on type error on int's operators
(Jules Aguillon, with help from Armaël Guéneau, review by Gabriel Scherer)

### Bug fixes:

- MPR#7937, GPR#2287: fix uncaught Unify exception when looking for type
Expand Down

0 comments on commit 32eafc7

Please sign in to comment.