urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	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
\|
*	Ensure proper ordering of <script> execution, to bring identifiers into ↵	Adam Chlipala	2012-04-27
\| \| \| \|	scope in time
*	Omit unnecessary parens around arrows in pretty-printing	Adam Chlipala	2012-04-27
\|
*	Removed excess zero byte from empty pages.	Vladimir Shabanov	2012-04-25
\| \| \| \|	Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
*	'linker' .urp directive	Adam Chlipala	2012-04-22
\|
*	Another test for cancelation in error messages	Adam Chlipala	2012-04-22
\|
*	-unifyMore	Adam Chlipala	2012-04-22
\|
*	Antiquote for PRIMARY KEY	Adam Chlipala	2012-04-21
\|
*	Omit 'Basis.' in pretty-printing constructors, where this is unambiguous	Adam Chlipala	2012-04-21
\|
*	Pretty-print tuple types using tuple syntax	Adam Chlipala	2012-04-21
\|
*	Saving proper environments, to use in displaying nested error messages	Adam Chlipala	2012-04-21
\|
*	Add another rule to simplify record concatenations for pretty-printing	Adam Chlipala	2012-04-21
\|
*	Avoid kindof failures in elaboration	Adam Chlipala	2012-04-21
\|
*	Tweak printing of constructor record literals to allow re-parsing by compiler	Adam Chlipala	2012-04-16
\|
*	Simplify types for printing with '-dumpTypes'	Adam Chlipala	2012-04-16
\|
*	Do a lot more type simplification for error messages	Adam Chlipala	2012-04-16
\|
*	Fix monoization of recursive variants	Adam Chlipala	2012-04-16
\|
*	Saving uw_event for all events (so stopPropagation works everywhere)	Vladimir Shabanov	2012-04-11
\|
*	Fixed 'onload' handling for img tag.	Vladimir Shabanov	2012-04-11
\|
*	Remove string-valued style attribute, which may allow injection attacks	Adam Chlipala	2012-04-15
\|
*	Added several missing tag attributes	Vladimir Shabanov	2012-04-11
\|
*	Optimize code from last changeset a bit	Adam Chlipala	2012-04-08
\|
*	Refactor to avoid dependence on recursive mutexes	Adam Chlipala	2012-04-08
\|
*	Return to working version mode	Adam Chlipala	2012-03-29
\|
*	New release	Adam Chlipala	2012-03-29
\|
*	Fix defunctorization of modules containing datatype definitions	Adam Chlipala	2012-03-29
\|
*	Change ID generation scheme to conform to HTML standards (thanks to Edward ↵	Adam Chlipala	2012-03-16
\| \| \| \|	Yang for the catch)
*	New JavaScript FFI function: setInnerHTML	Adam Chlipala	2012-03-14
\|
*	Remove weird special case for FFI functions whose first arguments have type ↵	Adam Chlipala	2012-03-14
\| \| \| \|	[unit]
*	Delete C temporary directories, even if other files wind up there	Adam Chlipala	2012-03-13
\|
*	Clarify necessity of 'effectful' in the manual	Adam Chlipala	2012-03-13
\|
*	Remove seemingly inaccurate part of comment (perhaps clarified version can ↵	Adam Chlipala	2012-03-13
\| \| \| \|	be added back in later)
*	Refactor SQL parsing code from Iflow to Sql, add querydml parser.	Edward Z. Yang	2012-03-12
\|
*	Some minor documentation to the Mono AST.	Edward Z. Yang	2012-03-12
\|
*	Handle recursive RPC handlers	Adam Chlipala	2012-03-11
\|
*	Return to working version mode	Adam Chlipala	2012-03-10
\|
*	New release	Adam Chlipala	2012-03-10
\|