adam@1950
|
1 ========
|
adam@1950
|
2 20131231
|
adam@1950
|
3 ========
|
adam@1950
|
4
|
adam@1950
|
5 - Performance optimizations for Ur/Web's standalone HTTP servers
|
adam@1950
|
6 - New command-line options for those servers: '-k' and '-q'
|
adam@1950
|
7 - New HTML pseudo-tag: <script>
|
adam@1950
|
8 - Trying to recv() from a different client's channel now triggers a run-time
|
adam@1950
|
9 error.
|
adam@1950
|
10 - New compiler command-line argument: -print-cinclude
|
adam@1950
|
11 - Bug fixes and improvements to optimizations, error messages, and documentation
|
adam@1950
|
12
|
adam@1911
|
13 ========
|
adam@1911
|
14 20131124
|
adam@1911
|
15 ========
|
adam@1911
|
16
|
adam@1911
|
17 - Extend 'where con' to allow descending into submodule structure
|
adam@1911
|
18 - Type inference improvements
|
adam@1911
|
19 - Treat transactional FFI functions as effectful by default,
|
adam@1911
|
20 so that 'effectful'/'benignEffectful' .urp directives aren't necessary
|
adam@1911
|
21 - Interpret 'table' signature items more flexibly,
|
adam@1911
|
22 automatically adding (Ur) constraints to support
|
adam@1911
|
23 a kind of subtyping over (SQL) constraint sets
|
adam@1911
|
24 - New header file scheme to support FFI code in either of C or C++
|
adam@1911
|
25 - New command-line arguments: -ccompiler, -print-ccompiler
|
adam@1911
|
26 - More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
|
adam@1911
|
27 - Add 'rel' attribute to <a>
|
adam@1911
|
28 - New type synonym 'xhead'
|
adam@1911
|
29 - Refactored the development Mercurial repository to remove autogenerated files
|
adam@1911
|
30 - More integration with Autotools distribution functionality
|
adam@1911
|
31 - Improvements to documentation and compiler error messages
|
adam@1911
|
32 - Bug fixes and optimization improvements
|
adam@1911
|
33
|
adam@1851
|
34 ========
|
adam@1851
|
35 20130421
|
adam@1851
|
36 ========
|
adam@1851
|
37
|
adam@1851
|
38 - Allow any FFI module to declare new HTML tags
|
adam@1851
|
39 - Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a
|
adam@1851
|
40 kind of simple dynamic typing (unsafe, of course)
|
adam@1851
|
41 - Add some name-mangling rules to allow XML attribute 'name' and attributes with
|
adam@1851
|
42 dashes
|
adam@1851
|
43 - New Basis members: pow and tryRpc
|
adam@1851
|
44 - Add 'placeholder' attribute for <password>
|
adam@1851
|
45 - New standard library functions: Option.unsafeGet
|
adam@1851
|
46 - Add ./configure MLTONARGS option for MLTON arguments
|
adam@1851
|
47 - Bug fixes and documentation improvements
|
adam@1851
|
48
|
adam@1826
|
49 ========
|
adam@1826
|
50 20120925
|
adam@1826
|
51 ========
|
adam@1826
|
52
|
adam@1826
|
53 - Changes to optimization/compilation strategy that can speed up compilation and
|
adam@1826
|
54 reduce code size dramatically
|
adam@1826
|
55 - New .urp directives: 'coreInline' and 'monoInline'
|
adam@1826
|
56 - 'show' instance for 'sql_query'
|
adam@1826
|
57 - Improvements to compiler error messages
|
adam@1826
|
58 - Bug fixes and optimization improvements
|
adam@1826
|
59
|
adam@1806
|
60 ========
|
adam@1806
|
61 20120807
|
adam@1806
|
62 ========
|
adam@1806
|
63
|
adam@1806
|
64 - Client-side mouse and keyboard event handlers are now functions over records.
|
adam@1806
|
65 - More flexibility in local type class instances
|
adam@1806
|
66 - Remove 'class' declaration; use 'con' instead now.
|
adam@1806
|
67 - SQL window functions
|
adam@1806
|
68 - New HTML pseudo-tag: <active>
|
adam@1806
|
69 - New Basis members: getenv (and associated functions), giveFocus
|
adam@1806
|
70 - New Top member: postFields (to process POST form data when called by some external script)
|
adam@1806
|
71 - HTTP daemons take '-a' option to set IP address to listen on
|
adam@1806
|
72 - More global mouse event hooks
|
adam@1806
|
73 - Bug fixes and performance improvements
|
adam@1806
|
74
|
adam@1771
|
75 ========
|
adam@1771
|
76 20120519
|
adam@1771
|
77 ========
|
adam@1771
|
78
|
adam@1771
|
79 - Compatibility fixes for new Automake and GCC versions
|
adam@1771
|
80 - Allow synchronous RPC's in 'onunload' code
|
adam@1771
|
81 - Start of special cases for parsing CSS class names: interpret "table" as identifier 'tabl'
|
adam@1771
|
82 (since 'table' is an Ur/Web keyword)
|
adam@1771
|
83 - Bug fixes and improvements to type inference and optimization
|
adam@1771
|
84
|
adam@1758
|
85 ========
|
adam@1758
|
86 20120512
|
adam@1758
|
87 ========
|
adam@1758
|
88
|
adam@1758
|
89 - New support for CSS style code embedded in Ur/Web programs.
|
adam@1758
|
90 Two recommended usage methods:
|
adam@1758
|
91 1. Use 'style' attributes with normal CSS syntax inside string literals.
|
adam@1758
|
92 2. Generate styles programmatically with the Style module of the Gui library
|
adam@1758
|
93 (distributed separately).
|
adam@1758
|
94 - 'dynStyle' attribute, which is to 'style' as 'dynClass' is to 'class'
|
adam@1758
|
95 - Parsing of standard syntax for 'class' attributes, via specially interpreted
|
adam@1758
|
96 string literals
|
adam@1758
|
97 - New optional suffix for 'rewrite' in .urp files: [-]
|
adam@1758
|
98 - Compiler error message improvements, including simplification of types
|
adam@1758
|
99 - New command line parameters: '-boot', '-dumpTypesOnError', '-unifyMore'
|
adam@1758
|
100 - New .urp directives: 'linker'
|
adam@1758
|
101 - Support for speeding up compilation by caching type inference results:
|
adam@1758
|
102 Run 'urweb daemon start' to spawn a background process,
|
adam@1758
|
103 'urweb daemon stop' to kill it.
|
adam@1758
|
104 - Enforcement of uniqueness of top-level module names across a project
|
adam@1758
|
105 - Adjust error message format to match Emacs compilation mode defaults
|
adam@1758
|
106 - More HTML attributes added
|
adam@1758
|
107 - New antiquote syntax for 'PRIMARY KEY'
|
adam@1758
|
108 - Bug fixes and improvements to type inference and platform compatibility
|
adam@1758
|
109
|
adam@1705
|
110 ========
|
adam@1705
|
111 20120329
|
adam@1705
|
112 ========
|
adam@1705
|
113
|
adam@1705
|
114 - New JavaScript FFI function: setInnerHTML
|
adam@1705
|
115 - Bug fixes
|
adam@1705
|
116 - Documentation improvements
|
adam@1705
|
117
|
adam@1693
|
118 ========
|
adam@1693
|
119 20120310
|
adam@1693
|
120 ========
|
adam@1693
|
121
|
adam@1693
|
122 - 'ORDER BY RANDOM'
|
adam@1693
|
123 - New Basis members: diffInMilliseconds, toMilliseconds
|
adam@1693
|
124 - <radio> widget now returns 'option string' instead of 'string'
|
adam@1693
|
125 - '-dumpSource' command-line flag
|
adam@1693
|
126 - Bug fixes and optimization improvements
|
adam@1693
|
127
|
adam@1669
|
128 ========
|
adam@1669
|
129 20120110
|
adam@1669
|
130 ========
|
adam@1669
|
131
|
adam@1669
|
132 - Improvements to type inference and error messages
|
adam@1669
|
133 - New 'dynClass' pseudo-attribute for most HTML tags
|
adam@1669
|
134 - New 't.*' notation for selecting all columns of a table
|
adam@1669
|
135 - New SQL functions: 'lower' and 'upper'
|
adam@1669
|
136 - 'timeFormat' .urp directive
|
adam@1669
|
137 - Client-side 'debug' and 'naughtyDebug' calls use a browser debug console, if available
|
adam@1669
|
138 - Allow 'source' values to be returned by RPCs
|
adam@1669
|
139 - Change the HTML context classification scheme in 'Basis'
|
adam@1669
|
140 - Rename 'Top.id' to 'ident' to avoid clash with 'Basis.id'
|
adam@1669
|
141 - More client-side function implementations
|
adam@1669
|
142 - Some expanded reference manual sections
|
adam@1669
|
143 - Tweak to linker command line argument order (to prevent issues with new Ubuntu versions)
|
adam@1669
|
144 - Bug fixes
|
adam@1669
|
145
|
adam@1616
|
146 ========
|
adam@1616
|
147 20111127
|
adam@1616
|
148 ========
|
adam@1616
|
149
|
adam@1616
|
150 - Improvements to type inference and error messages
|
adam@1616
|
151 - New Basis members: ceil, float, null, round, trunc
|
adam@1616
|
152 - New SQL expression forms: 'IF..THEN..ELSE', 'COALESCE', and 'LIKE'
|
adam@1616
|
153 - Support for the full set of HTML character entities
|
adam@1616
|
154 - Client-side versions of some time-related functions
|
adam@1616
|
155 - New URWEB_PG_CON environment variable
|
adam@1616
|
156 - Allow arguments for 'con' signature items, not just declarations
|
adam@1616
|
157 - Bug fixes and performance improvements
|
adam@1616
|
158 - Tweaks for idiosyncrasies of OS X (like deprecated OpenSSL)
|
adam@1616
|
159
|
adam@1509
|
160 ========
|
adam@1561
|
161 20110917
|
adam@1509
|
162 ========
|
adam@1509
|
163
|
adam@1509
|
164 - Start of official tutorial
|
adam@1509
|
165 - Compiler support for generating nice tutorial HTML from literate source files
|
adam@1509
|
166 - New protocol 'static' for generating static pages
|
adam@1561
|
167 - Replace GCCARGS 'configure' variable with CCARGS
|
adam@1561
|
168 - Better support for compilation with Clang (including on OS X)
|
adam@1561
|
169 - Fancier 'configure' script with versioning
|
adam@1523
|
170 - Applications consult URWEB_STACK_SIZE environment variable to determine thread
|
adam@1523
|
171 stack size
|
adam@1561
|
172 - HTML tag IDs now drawn from an abstract type
|
adam@1561
|
173 - New Basis functions: diffInSeconds, mkMonad, onClick, onDblclick, onKeydown,
|
adam@1561
|
174 onKeypress, onKeyup, onMousedown, onMouseup, preventDefault, stopPropagation,
|
adam@1561
|
175 toSeconds
|
adam@1561
|
176 - Add <image> tag
|
adam@1561
|
177 - Add 'target' attribute for <a>
|
adam@1561
|
178 - New compiler command-line option: -dumpTypes
|
adam@1561
|
179 - New syntactic sugar for computed ORDER BY clauses
|
adam@1561
|
180 - Bug fixes and optimization improvements
|
adam@1509
|
181
|
adam@1492
|
182 ========
|
adam@1492
|
183 20110715
|
adam@1492
|
184 ========
|
adam@1492
|
185
|
adam@1492
|
186 - Treat local variables the same as module-level variables, for the purpose of
|
adam@1492
|
187 implicit argument insertion
|
adam@1492
|
188 - New 'noXsrfProtection' directive for .urp files
|
adam@1492
|
189 - Non-debug builds omit source location information in error messages shown to
|
adam@1492
|
190 the user (but keep that information in log entries)
|
adam@1492
|
191 - Basis.getHeader and Basis.setHeader
|
adam@1492
|
192 - Basis.show_css_class
|
adam@1492
|
193 - Basis.currentUrlHasQueryString
|
adam@1492
|
194 - Make Basis.rand cryptographically secure
|
adam@1492
|
195 - Client-side versions of Basis.now and Basis.show_time
|
adam@1492
|
196 - Bug fixes
|
adam@1492
|
197 - Improvements to auto-configuration and build process (now builds with LLVM's
|
adam@1492
|
198 Clang!)
|
adam@1492
|
199 - Clarifications in the manual
|
adam@1492
|
200
|
adam@1458
|
201 ========
|
adam@1460
|
202 20110517
|
adam@1458
|
203 ========
|
adam@1458
|
204
|
adam@1458
|
205 - Cygwin compatibility
|
adam@1458
|
206 - Compatibility with Gentoo packaging process, including a .ebuild file
|
adam@1458
|
207 - Change typing of SQL subqueries, to indicate that they may always return NULL
|
adam@1458
|
208 (for no rows)
|
adam@1458
|
209 - Syntactic sugar for GROUP BY with variable numbers of columns
|
adam@1458
|
210 (using 'tab.{{c}}', where 'c :: {Type}')
|
adam@1458
|
211 - 'ALL' for SQL relational operators
|
adam@1458
|
212 - Add nullable types to the class for valid operands for SQL arithmetic
|
adam@1458
|
213 - 'alt' attribute for <img>
|
adam@1458
|
214 - <sup> and <sub> HTML tags
|
adam@1458
|
215 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
|
adam@1458
|
216 - Bug fixes and optimization improvements
|
adam@1458
|
217
|
adam@1400
|
218 ========
|
adam@1414
|
219 20110123
|
adam@1400
|
220 ========
|
adam@1400
|
221
|
adam@1400
|
222 - Changes to encoding of SQL aggregate functions: nullable types may be
|
adam@1400
|
223 aggregated, and non-COUNT aggregates return nullable results.
|
adam@1400
|
224 - SQL subqueries may apply aggregate functions to columns bound in enclosing
|
adam@1400
|
225 queries.
|
adam@1400
|
226 - Switch from libmhash to OpenSSL.
|
adam@1400
|
227 - 'cdataChar', for injecting arbitrary character codes into XML
|
adam@1400
|
228 - 'crypt', for access to the standard UNIX password encryption routine
|
adam@1400
|
229 - 'readUtc', for parsing time strings in the UTC time zone
|
adam@1400
|
230 - Built-in 'time' type now stores microseconds (which for now are only used in
|
adam@1400
|
231 connection with Postgres timestamps).
|
adam@1400
|
232 - Client-side URL blessing and redirection
|
adam@1400
|
233 - 'currentUrlHasPost' function
|
adam@1400
|
234 - Transactional 'free' functions now passed an argument indicating whether the
|
adam@1400
|
235 runtime system expects to retry the transaction.
|
adam@1400
|
236 - Change tasks to allow task kind-specific inputs
|
adam@1400
|
237 - Add 'clientLeaves' and 'periodic' task kinds
|
adam@1400
|
238 - Support for externally-callable pages, via the 'postBody' and 'queryString'
|
adam@1400
|
239 types and the 'effectfulUrl' function
|
adam@1400
|
240 - 'minHeap' and 'alwaysInline' .urp options
|
adam@1400
|
241 - '-prefix' command-line option
|
adam@1400
|
242 - Comments in .urp files (lines starting with '#')
|
adam@1400
|
243 - Miscellaneous additions to the standard library
|
adam@1400
|
244 - Bug fixes and improvements to type inference and optimization
|
adam@1400
|
245
|
adam@1287
|
246 ========
|
adam@1315
|
247 20101102
|
adam@1287
|
248 ========
|
adam@1287
|
249
|
adam@1287
|
250 - Polymorphic variants (see Basis.variant)
|
adam@1297
|
251 - New 'onError' directive for .urp files
|
adam@1287
|
252 - (* *) and <!-- --> comments in XML
|
adam@1297
|
253 - Basis.classes, Basis.confirm, and Basis.tryDml
|
adam@1309
|
254 - New notations ::_ and :::_, for constructor parameters of unknown kind
|
adam@1297
|
255 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
|
adam@1297
|
256 even if no foo.urp exists
|
adam@1309
|
257 - '-limit' command-line flag and 'limit' .urp directive
|
adam@1297
|
258 - Bug fixes and optimization improvements
|
adam@1287
|
259
|
adamc@1259
|
260 ========
|
adamc@1273
|
261 20100603
|
adamc@1259
|
262 ========
|
adamc@1259
|
263
|
adamc@1259
|
264 - Changed URL escaping convention, to avoid confusing proxies.
|
adamc@1259
|
265 The new convention is like the normal one, but with '.' instead of '%'.
|
adamc@1261
|
266 - Changed JavaScript compilation of recursive functions to use thunks.
|
adamc@1261
|
267 This change avoids most costs of functions not referenced on particular
|
adamc@1261
|
268 pages, reducing loading time dramatically.
|
adamc@1273
|
269 - Support HTTP caching of application-specific JavaScript code
|
adamc@1273
|
270 - Bug fixes
|
adamc@1259
|
271
|
adamc@1255
|
272 ========
|
adamc@1255
|
273 20100506
|
adamc@1255
|
274 ========
|
adamc@1255
|
275
|
adamc@1255
|
276 - New experimental checker for information flow and access control policies
|
adamc@1255
|
277 (See demo at http://www.impredicative.com/ur/scdv/)
|
adamc@1255
|
278
|
adamc@1197
|
279 ========
|
adamc@1197
|
280 20100401
|
adamc@1197
|
281 ========
|
adamc@1197
|
282
|
adamc@1197
|
283 - Subquery expressions and FROM items
|
adamc@1197
|
284 - Low-level support for SELECT with no FROM clause
|
adamc@1197
|
285 - Fixes for DBMS-portability of relational operators
|
adamc@1197
|
286
|
adamc@1183
|
287 ========
|
adamc@1190
|
288 20100325
|
adamc@1183
|
289 ========
|
adamc@1183
|
290
|
adamc@1188
|
291 - -verbose flag
|
adamc@1188
|
292 - COUNT(col) SQL aggregate function
|
adamc@1188
|
293 - 'benignEffectful' and 'safeGet' .urp commands
|
adamc@1188
|
294 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
|
adamc@1188
|
295 security
|
adamc@1190
|
296 - Rename Top.foldR*X to map*X
|
adamc@1188
|
297 - Bug fixes and optimization improvements
|
adamc@1183
|
298
|
adamc@1166
|
299 ========
|
adamc@1166
|
300 20100213
|
adamc@1166
|
301 ========
|
adamc@1166
|
302
|
adamc@1166
|
303 - Improvements to 'configure'; should now fail if any uncommon but required
|
adamc@1166
|
304 package is missing
|
adamc@1166
|
305 - Other fixes to configuration, build system, and C code portability
|
adamc@1166
|
306 - sigfile .urp directive & -sigfile command-line option
|
adamc@1166
|
307 - .urp files with no directives no longer need to begin with blank lines.
|
adamc@1166
|
308 - Other bug fixes
|
adamc@1166
|
309
|
adamc@1137
|
310 ========
|
adamc@1137
|
311 20100130
|
adamc@1137
|
312 ========
|
adamc@1137
|
313
|
adamc@1137
|
314 - Conversion to an Automake-based build system, for greater portability in
|
adamc@1137
|
315 building shared libraries
|
adamc@1137
|
316 - -path and -root command-line flags
|
adamc@1137
|
317 - Exported page handling functions (i.e., those page-generating functions
|
adamc@1137
|
318 appearing in the main module's signature) may now take any number of
|
adamc@1137
|
319 arguments, including 0.
|
adamc@1137
|
320
|
adamc@1123
|
321 ========
|
adamc@1123
|
322 20100112
|
adamc@1123
|
323 ========
|
adamc@1123
|
324
|
adamc@1123
|
325 - Basis.serialized type family, for storing more types in the database
|
adamc@1123
|
326 - Basis.textBlob, for building blobs from strings
|
adamc@1123
|
327 - Basis.debug function, for server-side debug printing
|
adamc@1123
|
328 - Bug fixes & optimization improvements
|
adamc@1123
|
329
|
adamc@1065
|
330 ========
|
adamc@1103
|
331 20091230
|
adamc@1065
|
332 ========
|
adamc@1065
|
333
|
adamc@1093
|
334 - Automatic insertion of implicit arguments in more positions
|
adamc@1065
|
335 - Reifying expressions as URLs and redirecting to them explicitly
|
adamc@1070
|
336 - More syntactic sugar for SQL
|
adamc@1070
|
337 - Typing of SQL queries no longer exposes which tables were used in joins but
|
adamc@1070
|
338 had none of their fields projected
|
adamc@1075
|
339 - Tasks
|
adamc@1095
|
340 - Dynamic linking of the runtime system
|
adamc@1077
|
341 - Optimization improvements
|
adamc@1103
|
342 - Bug fixes
|
adamc@1065
|
343
|
adamc@1050
|
344 ========
|
adamc@1056
|
345 20091203
|
adamc@1050
|
346 ========
|
adamc@1050
|
347
|
adamc@1050
|
348 - Extended cookie interface (breaks backward compatibility for 'setCookie')
|
adamc@1050
|
349 - Bug fixes
|
adamc@1056
|
350 - Extended UTF-8 characters in HTML
|
adamc@1050
|
351
|
adamc@1043
|
352 ========
|
adamc@1043
|
353 20091124
|
adamc@1043
|
354 ========
|
adamc@1043
|
355
|
adamc@1043
|
356 - Improved Internet Explorer compatibility
|
adamc@1043
|
357
|
adamc@1020
|
358 ========
|
adamc@1033
|
359 20091108
|
adamc@1020
|
360 ========
|
adamc@1020
|
361
|
adamc@1020
|
362 - Bug fixes
|
adamc@1020
|
363 - Optimization improvements
|
adamc@1021
|
364 - Removed a restriction that prevented some RPCs and calls to sleep or recv
|
adamc@1021
|
365 from compiling
|
adamc@1020
|
366
|
adamc@999
|
367 ========
|
adamc@999
|
368 20091012
|
adamc@999
|
369 ========
|
adamc@999
|
370
|
adamc@999
|
371 - Small bug fixes affecting MySQL and SQLite
|
adamc@999
|
372
|
adamc@988
|
373 ========
|
adamc@997
|
374 20091009
|
adamc@988
|
375 ========
|
adamc@988
|
376
|
adamc@988
|
377 - Bug fixes
|
adamc@988
|
378 - Improvement to choice of line number to cite in record unification error
|
adamc@988
|
379 messages
|
adamc@994
|
380 - SELECT DISTINCT
|
adamc@996
|
381 - New extra demos: orm1 and versioned1
|
adamc@988
|
382
|
adamc@985
|
383 ========
|
adamc@985
|
384 20090926
|
adamc@985
|
385 ========
|
adamc@985
|
386
|
adamc@985
|
387 - Reimplemented client-side code generation to use an interpreter, rather than
|
adamc@985
|
388 compilation to JavaScript; this avoids common browser flaws: lack of
|
adamc@985
|
389 optimization of tail calls and occasional bugs in closure handling.
|
adamc@985
|
390 - Bug fixes
|
adamc@985
|
391
|
adamc@968
|
392 ========
|
adamc@968
|
393 20090919
|
adamc@968
|
394 ========
|
adamc@968
|
395
|
adamc@968
|
396 - Bug fixes
|
adamc@968
|
397 - Optimization improvements
|
adamc@968
|
398 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
|
adamc@968
|
399 paging, selecting rows, aggregate row
|
adamc@968
|
400
|
adamc@929
|
401 ========
|
adamc@929
|
402 20090912
|
adamc@929
|
403 ========
|
adamc@929
|
404
|
adamc@929
|
405 - Bug fixes
|
adamc@929
|
406 - Optimization improvements
|
adamc@929
|
407 - New set of extra demos in demo/more
|
adamc@929
|
408
|
adamc@914
|
409 ========
|
adamc@914
|
410 20090825
|
adamc@914
|
411 ========
|
adamc@914
|
412
|
adamc@914
|
413 - Many bug fixes
|
adamc@914
|
414 - Remote procedure calls must be marked with the new 'rpc' function.
|
adamc@914
|
415 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
|
adamc@914
|
416
|
adamc@897
|
417 ========
|
adamc@897
|
418 20090718
|
adamc@897
|
419 ========
|
adamc@897
|
420
|
adamc@897
|
421 - New application protocols: CGI and FastCGI
|
adamc@897
|
422 - New database backends: MySQL and SQLite
|
adamc@897
|
423 - More JavaScript events added to tags in standard library
|
adamc@897
|
424 - New manual section on using the foreign function interface (FFI)
|
adamc@897
|
425
|
adamc@852
|
426 ========
|
adamc@852
|
427 20090623
|
adamc@852
|
428 ========
|
adamc@852
|
429
|
adamc@852
|
430 - Many bug fixes
|
adamc@852
|
431 - Mutually-recursive datatypes
|
adamc@852
|
432 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
|
adamc@852
|
433 - Backwards-incompatible change to syntax of formal constructor parameters to
|
adamc@852
|
434 value-level functions, to support the previous change
|
adamc@852
|
435 - Path map support inspired by SML/NJ CM and MLton ML Basis
|
adamc@852
|
436 - Start of some new standard library modules
|
adamc@852
|
437 - Some improvements to JavaScript runtime, including better error handling
|
adamc@852
|
438
|
adamc@716
|
439 ========
|
adamc@790
|
440 20090505
|
adamc@716
|
441 ========
|
adamc@716
|
442
|
adamc@716
|
443 - Reimplement constructor class resolution to be more general and Prolog-like
|
adamc@716
|
444 - SQL table constraints
|
adamc@770
|
445 - URLs
|
adamc@736
|
446 - Client-side error handling callbacks
|
adamc@736
|
447 - CSS
|
adamc@736
|
448 - Signing cookie values cryptographically to thwart cross site request forgery
|
adamc@744
|
449 - Blobs and HTTP file upload
|
adamc@752
|
450 - SQL outer joins
|
adamc@755
|
451 - SQL views
|
adamc@756
|
452 - Subforms
|
adamc@768
|
453 - C and JavaScript FFI
|
adamc@768
|
454 - Path rewriting
|
adamc@716
|
455
|
adamc@702
|
456 ========
|
adamc@702
|
457 20090405
|
adamc@702
|
458 ========
|
adamc@702
|
459
|
adamc@702
|
460 - Asynchronous message-passing and the associated server-side client
|
adamc@702
|
461 bookkeeping
|
adamc@702
|
462 - Reimplement parts of the client-side runtime system to avoid space leaks
|
adamc@702
|
463 - spawn and sleep
|
adamc@702
|
464 - Expand the constructor class instance rule format
|
adamc@702
|
465
|
adamc@663
|
466 ========
|
adamc@663
|
467 20090312
|
adamc@663
|
468 ========
|
adamc@663
|
469
|
adamc@663
|
470 - Replace type-level "fold" with "map"
|
adamc@663
|
471 - Replace expression-level "fold" with folders, defined in Top and
|
adamc@663
|
472 supported by some special compiler inference
|
adamc@663
|
473 - Replace guarded constructors with guarded types, introduced only by
|
adamc@663
|
474 guarded expression abstraction, and with a new explicit application form
|
adamc@663
|
475 - Kind polymorphism
|
adamc@663
|
476 - Generalize type classes to constructor classes
|
adamc@663
|
477 - Initial compilation of client-side code to JavaScript
|
adamc@663
|
478 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
|
adamc@665
|
479 - src/coq: Coq formalization of a core Ur-like calculus
|
adamc@663
|
480
|
adamc@506
|
481 ========
|
adamc@561
|
482 20081209
|
adamc@506
|
483 ========
|
adamc@506
|
484
|
adamc@506
|
485 - Optimization: Fusing page writes with calls to recursive functions
|
adamc@523
|
486 - Optimization of bottleneck compiler phases
|
adamc@561
|
487 - Reference manual
|
adamc@561
|
488 - SQL arithmetic operators
|
adamc@506
|
489
|
adamc@504
|
490 ========
|
adamc@504
|
491 20081120
|
adamc@504
|
492 ========
|
adamc@504
|
493
|
adamc@504
|
494 - Fix bug that sometimes led to omission of initial "<html>" in pages
|
adamc@504
|
495 - Take advantage of nested functions in some demos
|
adamc@504
|
496 - "profile" option that may appear in .urp files, to enable gprof profiling
|
adamc@663
|
497 - "-guided-demo" option that works like "-demo" but uses less screen space for
|
adamc@663
|
498 prose
|
adamc@504
|
499
|
adamc@467
|
500 ========
|
adamc@497
|
501 20081118
|
adamc@467
|
502 ========
|
adamc@467
|
503
|
adamc@467
|
504 - Nested function definitions
|
adamc@467
|
505 - Primitive "time" type
|
adamc@467
|
506 - Nullable SQL columns (via "option")
|
adamc@467
|
507 - Cookies
|
adamc@663
|
508 - Compiler: Specialization of functions to known arguments (especially of
|
adamc@663
|
509 function type)
|
adamc@467
|
510
|
adamc@435
|
511 ========
|
adamc@435
|
512 20081028
|
adamc@435
|
513 ========
|
adamc@435
|
514
|
adamc@435
|
515 - Add GCCARGS configure option
|
adamc@435
|
516
|
adamc@433
|
517 ========
|
adamc@433
|
518 20081027
|
adamc@433
|
519 ========
|
adamc@433
|
520
|
adamc@433
|
521 - On missing inputs, print an error message, but don't exit the web server.
|
adamc@434
|
522 - Remove need for "() <-" notation.
|
adamc@433
|
523
|
adamc@433
|
524 ========
|
adamc@433
|
525 20081026
|
adamc@433
|
526 ========
|
adamc@433
|
527
|
adamc@433
|
528 - Change 'sed' call to work on OSX.
|
adamc@433
|
529 - Avoid including or linking libpq files on apps that don't use SQL.
|