add Changes log

ocaml · Apr 30, 2021 · 1d477a6 · 1d477a6
1 parent e6531b7
commit 1d477a6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -281,6 +281,12 @@ Working version
   specific solver functions.
   (Jacques Garrigue and Takafumi Saikawa, review by Gabriel Scherer)
 
+* #10337: Normalize type_expr nodes on access
+  One should now use accessors such as get_desc and get_level to access fields
+  of type_expr, rather than calling manually Btype.repr (which is now hidden
+  in Types.Transient_expr).
+  (Jacques Garrigue and Takafumi Saikawa)
+
 ### Build system:
 
 - #9191, #10091, #10182: take the LDFLAGS variable into account, except on