urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
...
*	Remove misguided type class optimization	Adam Chlipala	2012-07-26
\|
*	Allow type class instances with hypotheses via local ('let') definitions	Adam Chlipala	2012-07-25
\|
*	Add more global mouse event hooks	Adam Chlipala	2012-07-23
\|
*	Fix bug in handling of event attributes within client-side widgets	Adam Chlipala	2012-07-21
\|
*	Get regular forms working again	Adam Chlipala	2012-07-21
\|
*	Top.postFields	Adam Chlipala	2012-07-21
\|
*	<active>	Adam Chlipala	2012-07-21
\|
*	Basis.giveFocus	Adam Chlipala	2012-07-21
\|
*	New event records for key and mouse handlers	Adam Chlipala	2012-07-21
\|
*	Support fancy expressions in module-level 'val' declarations	Adam Chlipala	2012-07-18
\|
*	Flush elaboration cache when switching between .urp files	Adam Chlipala	2012-06-23
\|
*	HTTP daemons now take '-a' option to set IP address to listen on	Adam Chlipala	2012-06-23
\|
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Partitioning and ordering for window functions	Adam Chlipala	2012-06-02
\|
*	Compiled a window function use	Adam Chlipala	2012-06-02
\|
*	Track whether SQL expressions may use window functions, in preparation for ↵	Adam Chlipala	2012-06-02
\| \| \| \|	actual window function support
*	Avoid redundant rollbacks	Adam Chlipala	2012-06-02
\|
*	Proper error messages for missing source files	Adam Chlipala	2012-05-26
\|
*	Implicit records of folders	Adam Chlipala	2012-05-17
\|
*	Be more conservative in choosing candidates for Especialize, re: mutual ↵	Adam Chlipala	2012-05-17
\| \| \| \|	recursion
*	Speed up space eating in MonoOpt	Vladimir Shabanov	2012-05-17
\|
*	Allow RPC and run it synchronously in onunload event.	Vladimir Shabanov	2012-05-16
\|
*	Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid ↵	Adam Chlipala	2012-05-13
\| \| \| \|	undefined behavior
*	Fix hyphenation for demos; parse CSS class 'table' as 'tabl'	Adam Chlipala	2012-05-13
\|
*	In incremental elaboration, handle invalidated FFI signatures	Adam Chlipala	2012-05-09
\|
*	Run-time CSS style validation	Adam Chlipala	2012-05-06
\|
*	Fix bugs in support for 'style' and 'dynStyle'	Adam Chlipala	2012-05-06
\|
*	New optional suffice for 'rewrite' in .urp files: [-]	Adam Chlipala	2012-05-06
\|
*	'dynStyle' pseudo-attribute	Adam Chlipala	2012-05-06
\|
*	'style' attributes	Adam Chlipala	2012-05-06
\|
*	Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵	Adam Chlipala	2012-05-06
\| \| \| \|	parsing of 'class' values given as string literals
*	Fix from Edward Yang to generation of 404 errors in FastCGI	Adam Chlipala	2012-05-06
\|
*	Adjust error message format to match Emacs defaults	Adam Chlipala	2012-05-05
\|
*	-dumpTypesOnError	Adam Chlipala	2012-05-05
\|
*	Send daemon output to calling process	Adam Chlipala	2012-05-05
\|
*	Report which files lead to duplicate module names	Adam Chlipala	2012-05-04
\|
*	More diagnostic information about some type class resolution failures	Adam Chlipala	2012-05-04
\|
*	Reinitialize lexer state properly	Adam Chlipala	2012-05-04
\|
*	Adaptations to ezyang's patch	Adam Chlipala	2012-05-03
\|
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-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.)
*	Catch duplicate top-level module names; fix dropping of constraints during ↵	Adam Chlipala	2012-05-03
\| \| \| \|	incremental elaboration; document treatment of record types as type class instance types
*	Don't modify the module cache after elaboration failures	Adam Chlipala	2012-05-02
\|
*	Better discovery of type class instances from recursive definitions	Adam Chlipala	2012-05-02
\|
*	In simplifying constructors for error messages, unfold constructor synonyms ↵	Adam Chlipala	2012-05-02
\| \| \| \|	from modules
*	Fix generation of normal datatypes from polymorphic variants	Adam Chlipala	2012-04-29
\|
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
\|
*	Include JavaScript files properly in error handler pages	Adam Chlipala	2012-04-28
\|
*	Fix urlification of recursive polymorphic variants	Adam Chlipala	2012-04-28
\|
*	Avoid generating empty <script> tags	Adam Chlipala	2012-04-27
\|