Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Browse files

changes Changes

git-svn-id: f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
commit ab873b81ca426673f3a461cf99acf865a9b7f5e3 1 parent ac23816
Gabriel Scherer authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  Changes
2  Changes
@@ -66,6 +66,8 @@ Compilers:
- PR#6311: Improve signature mismatch error messages
- PR#6345: Better compilation of optional arguments with default values
- PR#6260: Unnecessary boxing in let (patch by vbrankov)
+- PR#6017: a new format implementation based on GADTs
+ (initial patch by Benoît Vaugon, review by Gabriel Scherer)
Toplevel interactive system:
- PR#5377: New "#show_*" directives
Please sign in to comment.
Something went wrong with that request. Please try again.