summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Adaptations to ezyang's patchGravatar Adam Chlipala2012-05-03
|
* 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.)
* Catch duplicate top-level module names; fix dropping of constraints during ↵Gravatar Adam Chlipala2012-05-03
| | | | incremental elaboration; document treatment of record types as type class instance types
* Don't modify the module cache after elaboration failuresGravatar Adam Chlipala2012-05-02
|
* Better discovery of type class instances from recursive definitionsGravatar Adam Chlipala2012-05-02
|
* In simplifying constructors for error messages, unfold constructor synonyms ↵Gravatar Adam Chlipala2012-05-02
| | | | from modules
* Fix generation of normal datatypes from polymorphic variantsGravatar Adam Chlipala2012-04-29
|
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
|
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
|
* Include JavaScript files properly in error handler pagesGravatar Adam Chlipala2012-04-28
|
* Fix urlification of recursive polymorphic variantsGravatar Adam Chlipala2012-04-28
|
* Avoid generating empty <script> tagsGravatar Adam Chlipala2012-04-27
|
* Ensure proper ordering of <script> execution, to bring identifiers into ↵Gravatar Adam Chlipala2012-04-27
| | | | scope in time
* Omit unnecessary parens around arrows in pretty-printingGravatar Adam Chlipala2012-04-27
|
* Removed excess zero byte from empty pages.Gravatar Vladimir Shabanov2012-04-25
| | | | Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
|
* Another test for cancelation in error messagesGravatar Adam Chlipala2012-04-22
|
* -unifyMoreGravatar Adam Chlipala2012-04-22
|
* Antiquote for PRIMARY KEYGravatar Adam Chlipala2012-04-21
|
* Omit 'Basis.' in pretty-printing constructors, where this is unambiguousGravatar Adam Chlipala2012-04-21
|
* Pretty-print tuple types using tuple syntaxGravatar Adam Chlipala2012-04-21
|
* Saving proper environments, to use in displaying nested error messagesGravatar Adam Chlipala2012-04-21
|
* Add another rule to simplify record concatenations for pretty-printingGravatar Adam Chlipala2012-04-21
|
* Avoid kindof failures in elaborationGravatar Adam Chlipala2012-04-21
|
* Tweak printing of constructor record literals to allow re-parsing by compilerGravatar Adam Chlipala2012-04-16
|
* Simplify types for printing with '-dumpTypes'Gravatar Adam Chlipala2012-04-16
|
* Do a lot more type simplification for error messagesGravatar Adam Chlipala2012-04-16
|
* Fix monoization of recursive variantsGravatar Adam Chlipala2012-04-16
|
* Saving uw_event for all events (so stopPropagation works everywhere)Gravatar Vladimir Shabanov2012-04-11
|
* Fixed 'onload' handling for img tag.Gravatar Vladimir Shabanov2012-04-11
|
* Remove string-valued style attribute, which may allow injection attacksGravatar Adam Chlipala2012-04-15
|
* Added several missing tag attributesGravatar Vladimir Shabanov2012-04-11
|
* Optimize code from last changeset a bitGravatar Adam Chlipala2012-04-08
|
* Refactor to avoid dependence on recursive mutexesGravatar Adam Chlipala2012-04-08
|
* Return to working version modeGravatar Adam Chlipala2012-03-29
|
* New releaseGravatar Adam Chlipala2012-03-29
|
* Fix defunctorization of modules containing datatype definitionsGravatar Adam Chlipala2012-03-29
|
* Change ID generation scheme to conform to HTML standards (thanks to Edward ↵Gravatar Adam Chlipala2012-03-16
| | | | Yang for the catch)
* New JavaScript FFI function: setInnerHTMLGravatar Adam Chlipala2012-03-14
|
* Remove weird special case for FFI functions whose first arguments have type ↵Gravatar Adam Chlipala2012-03-14
| | | | [unit]
* Delete C temporary directories, even if other files wind up thereGravatar Adam Chlipala2012-03-13
|
* Clarify necessity of 'effectful' in the manualGravatar Adam Chlipala2012-03-13
|
* Remove seemingly inaccurate part of comment (perhaps clarified version can ↵Gravatar Adam Chlipala2012-03-13
| | | | be added back in later)
* Refactor SQL parsing code from Iflow to Sql, add querydml parser.Gravatar Edward Z. Yang2012-03-12
|
* Some minor documentation to the Mono AST.Gravatar Edward Z. Yang2012-03-12
|
* Handle recursive RPC handlersGravatar Adam Chlipala2012-03-11
|
* Return to working version modeGravatar Adam Chlipala2012-03-10
|
* New releaseGravatar Adam Chlipala2012-03-10
|
* Change <radio> to yield [option string]Gravatar Adam Chlipala2012-03-10
|
* Avoid URL size limit in RPCs with large argumentsGravatar Adam Chlipala2012-03-03
|