Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | More diagnostic information about some type class resolution failures | 2012-05-04 | ||
| | ||||
* | Reinitialize lexer state properly | 2012-05-04 | ||
| | ||||
* | Adaptations to ezyang's patch | 2012-05-03 | ||
| | ||||
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | 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 ↵ | 2012-05-03 | ||
| | | | | incremental elaboration; document treatment of record types as type class instance types | |||
* | Don't modify the module cache after elaboration failures | 2012-05-02 | ||
| | ||||
* | Better discovery of type class instances from recursive definitions | 2012-05-02 | ||
| | ||||
* | In simplifying constructors for error messages, unfold constructor synonyms ↵ | 2012-05-02 | ||
| | | | | from modules | |||
* | Fix generation of normal datatypes from polymorphic variants | 2012-04-29 | ||
| | ||||
* | 'urweb daemon start' and 'urweb daemon stop' | 2012-04-29 | ||
| | ||||
* | Initial support for reusing elaboration results | 2012-04-29 | ||
| | ||||
* | Include JavaScript files properly in error handler pages | 2012-04-28 | ||
| | ||||
* | Fix urlification of recursive polymorphic variants | 2012-04-28 | ||
| | ||||
* | Avoid generating empty <script> tags | 2012-04-27 | ||
| | ||||
* | Ensure proper ordering of <script> execution, to bring identifiers into ↵ | 2012-04-27 | ||
| | | | | scope in time | |||
* | Omit unnecessary parens around arrows in pretty-printing | 2012-04-27 | ||
| | ||||
* | Removed excess zero byte from empty pages. | 2012-04-25 | ||
| | | | | Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js | |||
* | 'linker' .urp directive | 2012-04-22 | ||
| | ||||
* | Another test for cancelation in error messages | 2012-04-22 | ||
| | ||||
* | -unifyMore | 2012-04-22 | ||
| | ||||
* | Antiquote for PRIMARY KEY | 2012-04-21 | ||
| | ||||
* | Omit 'Basis.' in pretty-printing constructors, where this is unambiguous | 2012-04-21 | ||
| | ||||
* | Pretty-print tuple types using tuple syntax | 2012-04-21 | ||
| | ||||
* | Saving proper environments, to use in displaying nested error messages | 2012-04-21 | ||
| | ||||
* | Add another rule to simplify record concatenations for pretty-printing | 2012-04-21 | ||
| | ||||
* | Avoid kindof failures in elaboration | 2012-04-21 | ||
| | ||||
* | Tweak printing of constructor record literals to allow re-parsing by compiler | 2012-04-16 | ||
| | ||||
* | Simplify types for printing with '-dumpTypes' | 2012-04-16 | ||
| | ||||
* | Do a lot more type simplification for error messages | 2012-04-16 | ||
| | ||||
* | Fix monoization of recursive variants | 2012-04-16 | ||
| | ||||
* | Saving uw_event for all events (so stopPropagation works everywhere) | 2012-04-11 | ||
| | ||||
* | Fixed 'onload' handling for img tag. | 2012-04-11 | ||
| | ||||
* | Remove string-valued style attribute, which may allow injection attacks | 2012-04-15 | ||
| | ||||
* | Added several missing tag attributes | 2012-04-11 | ||
| | ||||
* | Optimize code from last changeset a bit | 2012-04-08 | ||
| | ||||
* | Refactor to avoid dependence on recursive mutexes | 2012-04-08 | ||
| | ||||
* | Return to working version mode | 2012-03-29 | ||
| | ||||
* | New release | 2012-03-29 | ||
| | ||||
* | Fix defunctorization of modules containing datatype definitions | 2012-03-29 | ||
| | ||||
* | Change ID generation scheme to conform to HTML standards (thanks to Edward ↵ | 2012-03-16 | ||
| | | | | Yang for the catch) | |||
* | New JavaScript FFI function: setInnerHTML | 2012-03-14 | ||
| | ||||
* | Remove weird special case for FFI functions whose first arguments have type ↵ | 2012-03-14 | ||
| | | | | [unit] | |||
* | Delete C temporary directories, even if other files wind up there | 2012-03-13 | ||
| | ||||
* | Clarify necessity of 'effectful' in the manual | 2012-03-13 | ||
| | ||||
* | Remove seemingly inaccurate part of comment (perhaps clarified version can ↵ | 2012-03-13 | ||
| | | | | be added back in later) | |||
* | Refactor SQL parsing code from Iflow to Sql, add querydml parser. | 2012-03-12 | ||
| | ||||
* | Some minor documentation to the Mono AST. | 2012-03-12 | ||
| | ||||
* | Handle recursive RPC handlers | 2012-03-11 | ||
| | ||||
* | Return to working version mode | 2012-03-10 | ||
| | ||||
* | New release | 2012-03-10 | ||
| |