Skip to content

Commit

Permalink
update changes
Browse files Browse the repository at this point in the history
  • Loading branch information
Octachron committed Feb 19, 2021
1 parent afe80b5 commit 5971bb2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Changes
Expand Up @@ -26,10 +26,10 @@ Working version
(Takafumi Saikawa and Jacques Garrigue, review by Gabriel Scherer and
Florian Angeletti)

- #?????: module type substitutions
- #10133: module type substitutions
Allow 'SIG with module type T = F(X).S', 'SIG with module type T := sig end'
and their local equivalent `module type T := sig type u end`
(Florian Angeletti, review by Gabriel Radanne and ?)
(Florian Angeletti, review by Gabriel Radanne and Leo White)

### Runtime system:

Expand Down

0 comments on commit 5971bb2

Please sign in to comment.