summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
...
* Revert last changeset for now; needs more thoughtGravatar Adam Chlipala2012-08-05
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* Fix some unportable uses of C character class functionsGravatar Adam Chlipala2012-08-03
|
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
|
* Basis.getenvGravatar Adam Chlipala2012-08-02
|
* Removed evaluation of js function name strings. (from Vladimir Shabanov)Gravatar Adam Chlipala2012-07-29
|
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
|
* Remove misguided type class optimizationGravatar Adam Chlipala2012-07-26
|
* Allow type class instances with hypotheses via local ('let') definitionsGravatar Adam Chlipala2012-07-25
|
* Add more global mouse event hooksGravatar Adam Chlipala2012-07-23
|
* Fix bug in handling of event attributes within client-side widgetsGravatar Adam Chlipala2012-07-21
|
* Get regular forms working againGravatar Adam Chlipala2012-07-21
|
* Top.postFieldsGravatar Adam Chlipala2012-07-21
|
* <active>Gravatar Adam Chlipala2012-07-21
|
* Basis.giveFocusGravatar Adam Chlipala2012-07-21
|
* New event records for key and mouse handlersGravatar Adam Chlipala2012-07-21
|
* Support fancy expressions in module-level 'val' declarationsGravatar Adam Chlipala2012-07-18
|
* Flush elaboration cache when switching between .urp filesGravatar Adam Chlipala2012-06-23
|
* HTTP daemons now take '-a' option to set IP address to listen onGravatar Adam Chlipala2012-06-23
|
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
|
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
|
* Compiled a window function useGravatar Adam Chlipala2012-06-02
|
* Track whether SQL expressions may use window functions, in preparation for ↵Gravatar Adam Chlipala2012-06-02
| | | | actual window function support
* Avoid redundant rollbacksGravatar Adam Chlipala2012-06-02
|
* Proper error messages for missing source filesGravatar Adam Chlipala2012-05-26
|
* Implicit records of foldersGravatar Adam Chlipala2012-05-17
|
* Be more conservative in choosing candidates for Especialize, re: mutual ↵Gravatar Adam Chlipala2012-05-17
| | | | recursion
* Speed up space eating in MonoOptGravatar Vladimir Shabanov2012-05-17
|
* Allow RPC and run it synchronously in onunload event.Gravatar Vladimir Shabanov2012-05-16
|
* Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid ↵Gravatar Adam Chlipala2012-05-13
| | | | undefined behavior
* Fix hyphenation for demos; parse CSS class 'table' as 'tabl'Gravatar Adam Chlipala2012-05-13
|
* In incremental elaboration, handle invalidated FFI signaturesGravatar Adam Chlipala2012-05-09
|
* Run-time CSS style validationGravatar Adam Chlipala2012-05-06
|
* Fix bugs in support for 'style' and 'dynStyle'Gravatar Adam Chlipala2012-05-06
|
* New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06
|
* 'dynStyle' pseudo-attributeGravatar Adam Chlipala2012-05-06
|
* 'style' attributesGravatar Adam Chlipala2012-05-06
|
* Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵Gravatar Adam Chlipala2012-05-06
| | | | parsing of 'class' values given as string literals
* Fix from Edward Yang to generation of 404 errors in FastCGIGravatar Adam Chlipala2012-05-06
|
* Adjust error message format to match Emacs defaultsGravatar Adam Chlipala2012-05-05
|
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
|
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
|
* Report which files lead to duplicate module namesGravatar Adam Chlipala2012-05-04
|
* More diagnostic information about some type class resolution failuresGravatar Adam Chlipala2012-05-04
|
* Reinitialize lexer state properlyGravatar Adam Chlipala2012-05-04
|
* 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
|