update changes

ocaml · Jan 27, 2021 · 42d1b77 · 42d1b77
1 parent 1c942ab
commit 42d1b77
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Changes b/Changes
@@ -9,7 +9,8 @@ Working version
   (Stephen Dolan, review by Gabriel Scherer)
 
 - #?????: module type substitutions
-  Allow 'SIG with module type T = F(X).S' and 'SIG with module type T := F(X).S'
+  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 ?)
 
 ### Runtime system: