adam@1509
|
1 ========
|
adam@1509
|
2 Next
|
adam@1509
|
3 ========
|
adam@1509
|
4
|
adam@1509
|
5 - Start of official tutorial
|
adam@1509
|
6 - Compiler support for generating nice tutorial HTML from literate source files
|
adam@1509
|
7 - New protocol 'static' for generating static pages
|
adam@1523
|
8 - Replace GCCARGS configure variable with CCARGS
|
adam@1523
|
9 - Applications consult URWEB_STACK_SIZE environment variable to determine thread
|
adam@1523
|
10 stack size
|
adam@1509
|
11 - Bug fixes
|
adam@1509
|
12
|
adam@1492
|
13 ========
|
adam@1492
|
14 20110715
|
adam@1492
|
15 ========
|
adam@1492
|
16
|
adam@1492
|
17 - Treat local variables the same as module-level variables, for the purpose of
|
adam@1492
|
18 implicit argument insertion
|
adam@1492
|
19 - New 'noXsrfProtection' directive for .urp files
|
adam@1492
|
20 - Non-debug builds omit source location information in error messages shown to
|
adam@1492
|
21 the user (but keep that information in log entries)
|
adam@1492
|
22 - Basis.getHeader and Basis.setHeader
|
adam@1492
|
23 - Basis.show_css_class
|
adam@1492
|
24 - Basis.currentUrlHasQueryString
|
adam@1492
|
25 - Make Basis.rand cryptographically secure
|
adam@1492
|
26 - Client-side versions of Basis.now and Basis.show_time
|
adam@1492
|
27 - Bug fixes
|
adam@1492
|
28 - Improvements to auto-configuration and build process (now builds with LLVM's
|
adam@1492
|
29 Clang!)
|
adam@1492
|
30 - Clarifications in the manual
|
adam@1492
|
31
|
adam@1458
|
32 ========
|
adam@1460
|
33 20110517
|
adam@1458
|
34 ========
|
adam@1458
|
35
|
adam@1458
|
36 - Cygwin compatibility
|
adam@1458
|
37 - Compatibility with Gentoo packaging process, including a .ebuild file
|
adam@1458
|
38 - Change typing of SQL subqueries, to indicate that they may always return NULL
|
adam@1458
|
39 (for no rows)
|
adam@1458
|
40 - Syntactic sugar for GROUP BY with variable numbers of columns
|
adam@1458
|
41 (using 'tab.{{c}}', where 'c :: {Type}')
|
adam@1458
|
42 - 'ALL' for SQL relational operators
|
adam@1458
|
43 - Add nullable types to the class for valid operands for SQL arithmetic
|
adam@1458
|
44 - 'alt' attribute for <img>
|
adam@1458
|
45 - <sup> and <sub> HTML tags
|
adam@1458
|
46 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
|
adam@1458
|
47 - Bug fixes and optimization improvements
|
adam@1458
|
48
|
adam@1400
|
49 ========
|
adam@1414
|
50 20110123
|
adam@1400
|
51 ========
|
adam@1400
|
52
|
adam@1400
|
53 - Changes to encoding of SQL aggregate functions: nullable types may be
|
adam@1400
|
54 aggregated, and non-COUNT aggregates return nullable results.
|
adam@1400
|
55 - SQL subqueries may apply aggregate functions to columns bound in enclosing
|
adam@1400
|
56 queries.
|
adam@1400
|
57 - Switch from libmhash to OpenSSL.
|
adam@1400
|
58 - 'cdataChar', for injecting arbitrary character codes into XML
|
adam@1400
|
59 - 'crypt', for access to the standard UNIX password encryption routine
|
adam@1400
|
60 - 'readUtc', for parsing time strings in the UTC time zone
|
adam@1400
|
61 - Built-in 'time' type now stores microseconds (which for now are only used in
|
adam@1400
|
62 connection with Postgres timestamps).
|
adam@1400
|
63 - Client-side URL blessing and redirection
|
adam@1400
|
64 - 'currentUrlHasPost' function
|
adam@1400
|
65 - Transactional 'free' functions now passed an argument indicating whether the
|
adam@1400
|
66 runtime system expects to retry the transaction.
|
adam@1400
|
67 - Change tasks to allow task kind-specific inputs
|
adam@1400
|
68 - Add 'clientLeaves' and 'periodic' task kinds
|
adam@1400
|
69 - Support for externally-callable pages, via the 'postBody' and 'queryString'
|
adam@1400
|
70 types and the 'effectfulUrl' function
|
adam@1400
|
71 - 'minHeap' and 'alwaysInline' .urp options
|
adam@1400
|
72 - '-prefix' command-line option
|
adam@1400
|
73 - Comments in .urp files (lines starting with '#')
|
adam@1400
|
74 - Miscellaneous additions to the standard library
|
adam@1400
|
75 - Bug fixes and improvements to type inference and optimization
|
adam@1400
|
76
|
adam@1287
|
77 ========
|
adam@1315
|
78 20101102
|
adam@1287
|
79 ========
|
adam@1287
|
80
|
adam@1287
|
81 - Polymorphic variants (see Basis.variant)
|
adam@1297
|
82 - New 'onError' directive for .urp files
|
adam@1287
|
83 - (* *) and <!-- --> comments in XML
|
adam@1297
|
84 - Basis.classes, Basis.confirm, and Basis.tryDml
|
adam@1309
|
85 - New notations ::_ and :::_, for constructor parameters of unknown kind
|
adam@1297
|
86 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
|
adam@1297
|
87 even if no foo.urp exists
|
adam@1309
|
88 - '-limit' command-line flag and 'limit' .urp directive
|
adam@1297
|
89 - Bug fixes and optimization improvements
|
adam@1287
|
90
|
adamc@1259
|
91 ========
|
adamc@1273
|
92 20100603
|
adamc@1259
|
93 ========
|
adamc@1259
|
94
|
adamc@1259
|
95 - Changed URL escaping convention, to avoid confusing proxies.
|
adamc@1259
|
96 The new convention is like the normal one, but with '.' instead of '%'.
|
adamc@1261
|
97 - Changed JavaScript compilation of recursive functions to use thunks.
|
adamc@1261
|
98 This change avoids most costs of functions not referenced on particular
|
adamc@1261
|
99 pages, reducing loading time dramatically.
|
adamc@1273
|
100 - Support HTTP caching of application-specific JavaScript code
|
adamc@1273
|
101 - Bug fixes
|
adamc@1259
|
102
|
adamc@1255
|
103 ========
|
adamc@1255
|
104 20100506
|
adamc@1255
|
105 ========
|
adamc@1255
|
106
|
adamc@1255
|
107 - New experimental checker for information flow and access control policies
|
adamc@1255
|
108 (See demo at http://www.impredicative.com/ur/scdv/)
|
adamc@1255
|
109
|
adamc@1197
|
110 ========
|
adamc@1197
|
111 20100401
|
adamc@1197
|
112 ========
|
adamc@1197
|
113
|
adamc@1197
|
114 - Subquery expressions and FROM items
|
adamc@1197
|
115 - Low-level support for SELECT with no FROM clause
|
adamc@1197
|
116 - Fixes for DBMS-portability of relational operators
|
adamc@1197
|
117
|
adamc@1183
|
118 ========
|
adamc@1190
|
119 20100325
|
adamc@1183
|
120 ========
|
adamc@1183
|
121
|
adamc@1188
|
122 - -verbose flag
|
adamc@1188
|
123 - COUNT(col) SQL aggregate function
|
adamc@1188
|
124 - 'benignEffectful' and 'safeGet' .urp commands
|
adamc@1188
|
125 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
|
adamc@1188
|
126 security
|
adamc@1190
|
127 - Rename Top.foldR*X to map*X
|
adamc@1188
|
128 - Bug fixes and optimization improvements
|
adamc@1183
|
129
|
adamc@1166
|
130 ========
|
adamc@1166
|
131 20100213
|
adamc@1166
|
132 ========
|
adamc@1166
|
133
|
adamc@1166
|
134 - Improvements to 'configure'; should now fail if any uncommon but required
|
adamc@1166
|
135 package is missing
|
adamc@1166
|
136 - Other fixes to configuration, build system, and C code portability
|
adamc@1166
|
137 - sigfile .urp directive & -sigfile command-line option
|
adamc@1166
|
138 - .urp files with no directives no longer need to begin with blank lines.
|
adamc@1166
|
139 - Other bug fixes
|
adamc@1166
|
140
|
adamc@1137
|
141 ========
|
adamc@1137
|
142 20100130
|
adamc@1137
|
143 ========
|
adamc@1137
|
144
|
adamc@1137
|
145 - Conversion to an Automake-based build system, for greater portability in
|
adamc@1137
|
146 building shared libraries
|
adamc@1137
|
147 - -path and -root command-line flags
|
adamc@1137
|
148 - Exported page handling functions (i.e., those page-generating functions
|
adamc@1137
|
149 appearing in the main module's signature) may now take any number of
|
adamc@1137
|
150 arguments, including 0.
|
adamc@1137
|
151
|
adamc@1123
|
152 ========
|
adamc@1123
|
153 20100112
|
adamc@1123
|
154 ========
|
adamc@1123
|
155
|
adamc@1123
|
156 - Basis.serialized type family, for storing more types in the database
|
adamc@1123
|
157 - Basis.textBlob, for building blobs from strings
|
adamc@1123
|
158 - Basis.debug function, for server-side debug printing
|
adamc@1123
|
159 - Bug fixes & optimization improvements
|
adamc@1123
|
160
|
adamc@1065
|
161 ========
|
adamc@1103
|
162 20091230
|
adamc@1065
|
163 ========
|
adamc@1065
|
164
|
adamc@1093
|
165 - Automatic insertion of implicit arguments in more positions
|
adamc@1065
|
166 - Reifying expressions as URLs and redirecting to them explicitly
|
adamc@1070
|
167 - More syntactic sugar for SQL
|
adamc@1070
|
168 - Typing of SQL queries no longer exposes which tables were used in joins but
|
adamc@1070
|
169 had none of their fields projected
|
adamc@1075
|
170 - Tasks
|
adamc@1095
|
171 - Dynamic linking of the runtime system
|
adamc@1077
|
172 - Optimization improvements
|
adamc@1103
|
173 - Bug fixes
|
adamc@1065
|
174
|
adamc@1050
|
175 ========
|
adamc@1056
|
176 20091203
|
adamc@1050
|
177 ========
|
adamc@1050
|
178
|
adamc@1050
|
179 - Extended cookie interface (breaks backward compatibility for 'setCookie')
|
adamc@1050
|
180 - Bug fixes
|
adamc@1056
|
181 - Extended UTF-8 characters in HTML
|
adamc@1050
|
182
|
adamc@1043
|
183 ========
|
adamc@1043
|
184 20091124
|
adamc@1043
|
185 ========
|
adamc@1043
|
186
|
adamc@1043
|
187 - Improved Internet Explorer compatibility
|
adamc@1043
|
188
|
adamc@1020
|
189 ========
|
adamc@1033
|
190 20091108
|
adamc@1020
|
191 ========
|
adamc@1020
|
192
|
adamc@1020
|
193 - Bug fixes
|
adamc@1020
|
194 - Optimization improvements
|
adamc@1021
|
195 - Removed a restriction that prevented some RPCs and calls to sleep or recv
|
adamc@1021
|
196 from compiling
|
adamc@1020
|
197
|
adamc@999
|
198 ========
|
adamc@999
|
199 20091012
|
adamc@999
|
200 ========
|
adamc@999
|
201
|
adamc@999
|
202 - Small bug fixes affecting MySQL and SQLite
|
adamc@999
|
203
|
adamc@988
|
204 ========
|
adamc@997
|
205 20091009
|
adamc@988
|
206 ========
|
adamc@988
|
207
|
adamc@988
|
208 - Bug fixes
|
adamc@988
|
209 - Improvement to choice of line number to cite in record unification error
|
adamc@988
|
210 messages
|
adamc@994
|
211 - SELECT DISTINCT
|
adamc@996
|
212 - New extra demos: orm1 and versioned1
|
adamc@988
|
213
|
adamc@985
|
214 ========
|
adamc@985
|
215 20090926
|
adamc@985
|
216 ========
|
adamc@985
|
217
|
adamc@985
|
218 - Reimplemented client-side code generation to use an interpreter, rather than
|
adamc@985
|
219 compilation to JavaScript; this avoids common browser flaws: lack of
|
adamc@985
|
220 optimization of tail calls and occasional bugs in closure handling.
|
adamc@985
|
221 - Bug fixes
|
adamc@985
|
222
|
adamc@968
|
223 ========
|
adamc@968
|
224 20090919
|
adamc@968
|
225 ========
|
adamc@968
|
226
|
adamc@968
|
227 - Bug fixes
|
adamc@968
|
228 - Optimization improvements
|
adamc@968
|
229 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
|
adamc@968
|
230 paging, selecting rows, aggregate row
|
adamc@968
|
231
|
adamc@929
|
232 ========
|
adamc@929
|
233 20090912
|
adamc@929
|
234 ========
|
adamc@929
|
235
|
adamc@929
|
236 - Bug fixes
|
adamc@929
|
237 - Optimization improvements
|
adamc@929
|
238 - New set of extra demos in demo/more
|
adamc@929
|
239
|
adamc@914
|
240 ========
|
adamc@914
|
241 20090825
|
adamc@914
|
242 ========
|
adamc@914
|
243
|
adamc@914
|
244 - Many bug fixes
|
adamc@914
|
245 - Remote procedure calls must be marked with the new 'rpc' function.
|
adamc@914
|
246 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
|
adamc@914
|
247
|
adamc@897
|
248 ========
|
adamc@897
|
249 20090718
|
adamc@897
|
250 ========
|
adamc@897
|
251
|
adamc@897
|
252 - New application protocols: CGI and FastCGI
|
adamc@897
|
253 - New database backends: MySQL and SQLite
|
adamc@897
|
254 - More JavaScript events added to tags in standard library
|
adamc@897
|
255 - New manual section on using the foreign function interface (FFI)
|
adamc@897
|
256
|
adamc@852
|
257 ========
|
adamc@852
|
258 20090623
|
adamc@852
|
259 ========
|
adamc@852
|
260
|
adamc@852
|
261 - Many bug fixes
|
adamc@852
|
262 - Mutually-recursive datatypes
|
adamc@852
|
263 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
|
adamc@852
|
264 - Backwards-incompatible change to syntax of formal constructor parameters to
|
adamc@852
|
265 value-level functions, to support the previous change
|
adamc@852
|
266 - Path map support inspired by SML/NJ CM and MLton ML Basis
|
adamc@852
|
267 - Start of some new standard library modules
|
adamc@852
|
268 - Some improvements to JavaScript runtime, including better error handling
|
adamc@852
|
269
|
adamc@716
|
270 ========
|
adamc@790
|
271 20090505
|
adamc@716
|
272 ========
|
adamc@716
|
273
|
adamc@716
|
274 - Reimplement constructor class resolution to be more general and Prolog-like
|
adamc@716
|
275 - SQL table constraints
|
adamc@770
|
276 - URLs
|
adamc@736
|
277 - Client-side error handling callbacks
|
adamc@736
|
278 - CSS
|
adamc@736
|
279 - Signing cookie values cryptographically to thwart cross site request forgery
|
adamc@744
|
280 - Blobs and HTTP file upload
|
adamc@752
|
281 - SQL outer joins
|
adamc@755
|
282 - SQL views
|
adamc@756
|
283 - Subforms
|
adamc@768
|
284 - C and JavaScript FFI
|
adamc@768
|
285 - Path rewriting
|
adamc@716
|
286
|
adamc@702
|
287 ========
|
adamc@702
|
288 20090405
|
adamc@702
|
289 ========
|
adamc@702
|
290
|
adamc@702
|
291 - Asynchronous message-passing and the associated server-side client
|
adamc@702
|
292 bookkeeping
|
adamc@702
|
293 - Reimplement parts of the client-side runtime system to avoid space leaks
|
adamc@702
|
294 - spawn and sleep
|
adamc@702
|
295 - Expand the constructor class instance rule format
|
adamc@702
|
296
|
adamc@663
|
297 ========
|
adamc@663
|
298 20090312
|
adamc@663
|
299 ========
|
adamc@663
|
300
|
adamc@663
|
301 - Replace type-level "fold" with "map"
|
adamc@663
|
302 - Replace expression-level "fold" with folders, defined in Top and
|
adamc@663
|
303 supported by some special compiler inference
|
adamc@663
|
304 - Replace guarded constructors with guarded types, introduced only by
|
adamc@663
|
305 guarded expression abstraction, and with a new explicit application form
|
adamc@663
|
306 - Kind polymorphism
|
adamc@663
|
307 - Generalize type classes to constructor classes
|
adamc@663
|
308 - Initial compilation of client-side code to JavaScript
|
adamc@663
|
309 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
|
adamc@665
|
310 - src/coq: Coq formalization of a core Ur-like calculus
|
adamc@663
|
311
|
adamc@506
|
312 ========
|
adamc@561
|
313 20081209
|
adamc@506
|
314 ========
|
adamc@506
|
315
|
adamc@506
|
316 - Optimization: Fusing page writes with calls to recursive functions
|
adamc@523
|
317 - Optimization of bottleneck compiler phases
|
adamc@561
|
318 - Reference manual
|
adamc@561
|
319 - SQL arithmetic operators
|
adamc@506
|
320
|
adamc@504
|
321 ========
|
adamc@504
|
322 20081120
|
adamc@504
|
323 ========
|
adamc@504
|
324
|
adamc@504
|
325 - Fix bug that sometimes led to omission of initial "<html>" in pages
|
adamc@504
|
326 - Take advantage of nested functions in some demos
|
adamc@504
|
327 - "profile" option that may appear in .urp files, to enable gprof profiling
|
adamc@663
|
328 - "-guided-demo" option that works like "-demo" but uses less screen space for
|
adamc@663
|
329 prose
|
adamc@504
|
330
|
adamc@467
|
331 ========
|
adamc@497
|
332 20081118
|
adamc@467
|
333 ========
|
adamc@467
|
334
|
adamc@467
|
335 - Nested function definitions
|
adamc@467
|
336 - Primitive "time" type
|
adamc@467
|
337 - Nullable SQL columns (via "option")
|
adamc@467
|
338 - Cookies
|
adamc@663
|
339 - Compiler: Specialization of functions to known arguments (especially of
|
adamc@663
|
340 function type)
|
adamc@467
|
341
|
adamc@435
|
342 ========
|
adamc@435
|
343 20081028
|
adamc@435
|
344 ========
|
adamc@435
|
345
|
adamc@435
|
346 - Add GCCARGS configure option
|
adamc@435
|
347
|
adamc@433
|
348 ========
|
adamc@433
|
349 20081027
|
adamc@433
|
350 ========
|
adamc@433
|
351
|
adamc@433
|
352 - On missing inputs, print an error message, but don't exit the web server.
|
adamc@434
|
353 - Remove need for "() <-" notation.
|
adamc@433
|
354
|
adamc@433
|
355 ========
|
adamc@433
|
356 20081026
|
adamc@433
|
357 ========
|
adamc@433
|
358
|
adamc@433
|
359 - Change 'sed' call to work on OSX.
|
adamc@433
|
360 - Avoid including or linking libpq files on apps that don't use SQL.
|