diff options
Diffstat (limited to 'README.txt')
| -rw-r--r-- | README.txt | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/README.txt b/README.txt index 344d7937c5..0c0f11c76c 100644 --- a/README.txt +++ b/README.txt @@ -9,9 +9,23 @@ the current version of OCaml and the binary files generated by former versions of the compiler. Possible problems: - +================== - Did the format of input_value/output_value changed ? Is there a magic ? - It is hard to mix binary files from two versions in the same executable, because they are not based on the same standard library. A solution ? +Some more remarks: +================== + + * I used to purposely put an error in a signature to force the compiler to +print the signature, and then use that signature in the interface file. It +does not work anymore, probably because error messages are better located. +But I lost something useful ! How to put it back ? + + * I would want the editor to generate automatically a map function from a +type definition, especially for big recursive ones. Maybe a tool could do +that ? + + + |