forked from janestreet/sexplib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CHANGES.txt
267 lines (171 loc) · 10 KB
/
CHANGES.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
2012-07-15: Added support for S-expression default record fields.
Added syntax for S-expression comments and for nested block
comments.
Fixed a few minor bugs and inconsistencies in the parsers and
updated their whitespace handling to conform with the upcoming
OCaml 4.00 compiler. The parser specification now also supports
Menhir.
Rewrote README in Markdown and improved documentation.
Minor bug fix in the preprocessing module.
Eliminated new warnings available in OCaml 4.00.
2011-09-18: Improved documentation.
2011-09-15: Fixes to improve package dependency resolution.
2011-07-05: Fixed a parser position bug. Parser positions passed by the user
were not updated correctly.
Internal code beautification.
2011-07-04: Internal updates to sync with Jane Street.
2011-01-30: Fixed a code generation bug with toplevel entries.
Thanks to Yong Lu <[email protected]> for the report!
2010-12-27: Added support for MoreLabels.Hashtbl and improved reporting of
error locations with preprocessor.
2010-12-26: Worked around a compiler bug that is expected to be fixed in
OCaml 3.12.1. This workaround temporarily removes the interface
for module Conv (conv.mli), thus exposing the internals.
This should not cause any problems for end users as long as
they do not depend on the exported internal representations.
The interface will become constrained again as soon as the
fixed compiler is out.
2010-12-22: Major release.
Merged with Jane Street version. This has caused an API-change
that requires "open Sexplib.Conv" at the top of files that use the
syntax extension.
Renamed functions:
* sexp_of_lazy -> sexp_of_lazy_t
* lazy_of_sexp -> lazy_t_of_sexp
Some standard library modules are now re-exported with predefined
S-expression converters in module Conv.
2010-09-25: Fixed inferred types of generated functions when dealing with arrow
types.
2010-08-26: Fixed a lexer bug when parsing comments.
2010-05-21: Added support for sexp_bool record field annotations.
2010-05-18: Improved performance of converting S-expressions to strings.
2010-04-12: Changed API of Of_sexp_error exception.
2010-04-07: Added of_(big)string_conv_exn functions.
2010-04-01: Merged with Jane Street version.
Major new features (various functions):
* Type-annotated parsing for better error messages
* Greatly improved performance of exception converters
2009-12-21: Improved saving of files.
2009-10-12: Added sexp_array record field extension.
2009-09-19: Added missing variant type cases.
Fixed handling of variance annotations.
2009-09-15: Internal cleanups.
2009-07-28: Added better support for conversion of exception types.
2009-06-23: Fixed build problem.
Thanks to Sylvain Le Gall <[email protected]> for
the patch!
2009-05-08: Fixed build problems on Windows and OCamlMakefile issues.
Thanks to Sylvain Le Gall <[email protected]> for
the patch!
2009-04-22: Added macro support for all types of vectors, matrices,
and for bigstrings.
2009-04-21: Merged with Jane Street version, no user-relevant changes.
2009-03-09: Merged with Jane Street version, no user-relevant changes.
2009-03-01: Fixed build problem on Mac OS X by updating OCamlMakefile.
2009-01-20: Automatically add S-expression pretty-printers to toplevels.
2008-09-30: Added a new feature: sexp_opaque. It prevents the need for /
use of type converters for a given type in a particular
type context.
Removed abstract types to unify them with this new concept.
2008-09-29: Added a new feature: sexp_list. This is similar to
the handling of sexp_option. By default an empty list is
assumed for unspecified records using sexp_list as qualifier.
Such record fields bound to empty lists will also not be
printed anymore for better readability.
2008-09-23: Added missing Not_found-exception to standard exception
converters.
2008-08-20: Removed dependency on threads. Fixed build problems.
2008-08-08: Nifty new feature: exceptions can now be converted to
S-expressions, too! The "with sexp" syntax extension can be
used with exceptions, thus registering a conversion function.
A global exception conversion function can then be called
to convert an arbitrary exception into an S-expression,
which can then be printed out. This should greatly
improve readability of uncaught exceptions while making
life extremely easy for the developer.
Renamed the ParseError exception to Parse_error to be more
compliant with Jane Street naming conventions.
2008-07-25: Added utilities for conversion error handling. Minor fixes.
2008-04-24: Made Sexp-interface manifest.
2008-03-20: Fixed META-file (missing num dependency).
2008-03-17: Improved META-file.
2008-03-13: Fully allow function types in converters. Raise runtime
exceptions on converting from S-expressions instead when
function type encountered.
2008-02-11: Fixed code generation problems with variance annotations
in signatures, and empty types.
2007-12-17: Added support for generating signature entries for
S-expression converters. Thanks to Till Varoquaux
<[email protected]> for the patch!
2007-11-29: Added support for converting big_int, nat, num, and ratio.
2007-11-26: Added support for parsing from bigstrings (char bigarrays).
2007-11-02: Added syntax support for option types to use the ordinary
sum type syntax. This should improve readability.
The old syntax will be accepted, too, if
Conv.read_old_option_format is set to true (this is
currently the default). The old format will be used for
writing if Conv.write_old_option_format is true (currently
the default). The old syntax is deprecated and will
probably not be supported by default in the near future.
Reading new-style option values will always succeed.
2007-09-14: Fixed bug in S-expression preprocessor concerning record
field names.
2007-08-06: Added support for converting functions to S-expressions.
2007-07-20: Fixed position information and improved speed of S-expression
parser. Fixed S-expression macro bug concerning contained
polymorphic variants.
2007-06-28: Improved Sexplib code generation.
2007-06-22: Fixed escaping bug in S-expression parser.
2007-06-01: Added correct handling of recursive types + test case.
2007-04-18: Added missing conversion functions from S-expressions to
pairs and triples.
2007-03-21: Updated OCamlMakefile.
2007-03-02: Improved error messages when parsing illegal type definitions.
2007-01-30: Added triple conversions.
2006-11-22: Updated OCamlMakefile.
2006-10-13: Improved checking of records for extra or duplicate fields.
2006-09-06: Added support for polymorphic record fields.
2006-09-05: Added support for manifest types.
2006-08-16: Improved error messages.
2006-07-28: Added a new, hand-written S-expression parser that supports
partial parsing and should be approx. 10x faster than the
previous one.
2006-06-20: Fixed a code generation problem leading to compilation
errors concerning the use of type aliases within polymorphic
variant type definitions.
This fix also solves potential erroneous appearances of
backtracking exceptions in user code.
2006-03-21: Added -for-pack option to Makefile and cleaned up
distribution for a new public release.
2006-03-13: Sexplib now accepts capitalized booleans.
2006-03-03: Added customizable indentation levels.
Improved documentation.
Fixed API-problem concerning backward compatibility.
2006-03-03: Added customizable indentation levels.
Improved documentation.
2006-03-01: Added a missing flush for string conversions with a buffer.
2006-02-08: Eliminated unused variable warnings in Sexplib-generated code.
2006-01-11: Added functions for pretty-printing to buffers. Improved
performance of outputting S-expressions to channels.
2006-01-09: Added functions load_sexp and load_sexps.
2006-01-04: Changed float conversion from %E to %G (more readable).
2005-12-28: Made machine representation for S-expressions more compact
2005-12-15: Fixed a problem appearing with OCaml-release 3.08.4: CamlP4
obviously performs more strict checking on some constructs
now and crashed with an exception when generating
S-expression code for records containing only one field
("singleton tuple problem"). This problem is fixed now.
2005-11-25: Fixed problem with type variables that could not be generalized.
2005-11-23: Added a missing case in type definitions (path alias)
2005-11-17: Major release: 2.0
Fixed a major design problem. The user now has to pass lex
buffers instead of channels to input-functions. Reason:
trailing characters in channels were lost due to ocamllex
buffering them in the non-exposed lex buffer. This lex
buffer is now exposed. The functions have been renamed
("input_X" -> "scan_X") to reflect this change.
2005-11-16: Added label to conversion function "input_cnv_sexps".
2005-11-11: Fixed a bug in the pretty-printer: strings in atoms were
not escaped in the function "to_string_mach" (and therefore
also "to_string").
2005-11-07: Initial release.