summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
Commit message (Collapse)AuthorAge
...
* Remove uw_cutErrorLocation() hijinksGravatar Adam Chlipala2013-10-10
|
* Detect more SQL uses without 'database' directiveGravatar Adam Chlipala2013-09-30
|
* Fixed HTTP date format and added Cache-Control to app.jsGravatar Vladimir Shabanov2012-09-12
|
* Basis.getenvGravatar Adam Chlipala2012-08-02
|
* Support fancy expressions in module-level 'val' declarationsGravatar Adam Chlipala2012-07-18
|
* Fix from Edward Yang to generation of 404 errors in FastCGIGravatar Adam Chlipala2012-05-06
|
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.)
* Include JavaScript files properly in error handler pagesGravatar Adam Chlipala2012-04-28
|
* Change <radio> to yield [option string]Gravatar Adam Chlipala2012-03-10
|
* Avoid URL size limit in RPCs with large argumentsGravatar Adam Chlipala2012-03-03
|
* Finish function argument order-of-operations fixGravatar Adam Chlipala2012-01-07
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Fix handling of quotes in generating C literalsGravatar Adam Chlipala2012-01-02
|
* Fix C-side unurlification of unboxable Option datatypesGravatar Adam Chlipala2011-12-17
|
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
|
* Better error messages about non-SQL-izability of typesGravatar Adam Chlipala2011-12-03
|
* Catching integer divisions by zeroGravatar Adam Chlipala2011-12-03
|
* Fix server-side urlification of custom Option typesGravatar Adam Chlipala2011-11-25
|
* Include character encoding in HTTP response headers.Gravatar Karn Kallio2011-11-16
|
* Fix another list unurlification segfault bug; List.foldlMiGravatar Adam Chlipala2011-08-21
|
* Add prototypes for [un]urlification functionsGravatar Adam Chlipala2011-08-21
|
* Fix crash in list unurlificationGravatar Adam Chlipala2011-08-21
|
* Add timestamps to 'app.js' filenames, to prevent inappropriate caching by ↵Gravatar Adam Chlipala2011-08-19
| | | | browsers
* Fix list urlificationGravatar Adam Chlipala2011-08-14
|
* Compile self-tail-calls as gotosGravatar Adam Chlipala2011-08-02
|
* A few more tweaks to support Clang (including ending use of nested functions)Gravatar Adam Chlipala2011-07-23
|
* Change cookie signature comparison to resist timing attacks (based on code ↵Gravatar Adam Chlipala2011-07-19
| | | | suggested by Robin Green and Austin Seipp)
* For non-debug builds, leave out source location info in what is shown to userGravatar Adam Chlipala2011-07-03
|
* 'noXsrfProtection' .urp directiveGravatar Adam Chlipala2011-06-24
|
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
|
* Include type attribute in script tag for generating valid XHTML.Gravatar Karn Kallio2011-05-06
|
* Before allowing an indirect return, check (dynamically, for now) that we ↵Gravatar Adam Chlipala2011-04-17
| | | | aren't in an RPC handler
* Each context gets its own non-repeating sequence of source numbersGravatar Adam Chlipala2011-04-09
|
* Fix C compilation of empty records; use DESTDIR in 'make install/uninstall'Gravatar Adam Chlipala2011-03-20
|
* Represent 'unit' as C 'int'; change pattern match compilation to avoid ↵Gravatar Adam Chlipala2011-03-10
| | | | 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization
* Some fixes for tasks and onError handlersGravatar Adam Chlipala2011-01-20
|
* Infer more regions, for sequencing constructsGravatar Adam Chlipala2011-01-13
|
* Ignore unknown names in query string name-value pairs; allow any side ↵Gravatar Adam Chlipala2011-01-06
| | | | effects by Extern URLs, without signature checking
* Detect missing 'database' directive; don't compile garbage C filesGravatar Adam Chlipala2011-01-06
|
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
|
* [De]serialization of times in JavaScript; proper integer division in ↵Gravatar Adam Chlipala2010-12-23
| | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
* Periodic tasksGravatar Adam Chlipala2010-12-18
|
* Change tasks to support parametric code; add clientLeavesGravatar Adam Chlipala2010-12-18
|
* postBody typeGravatar Adam Chlipala2010-12-18
|
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
|
* More accurate/conservative leaky type detection in CjrPrintGravatar Adam Chlipala2010-11-28
|
* Fix a bug in C list unurlificationGravatar Adam Chlipala2010-11-21
|
* In FastCGI, signal 304 with a header, not the usual HTTP/1.1 lineGravatar Adam Chlipala2010-11-20
|
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
|
* Support empty datatypes, which can now be generated via 'variant []'Gravatar Adam Chlipala2010-09-09
|