log src/jscomp.sml

age author description
Mon, 21 Sep 2015 16:45:59 -0400 Ziv Scully Use new refactored urlification in Sqlcache.
Mon, 21 Sep 2015 10:16:55 -0400 Ziv Scully Revert to revision 2222.
Sun, 13 Sep 2015 17:02:17 -0400 Ziv Scully Make Mono.file a record for readability upon extension.
Fri, 27 Mar 2015 11:26:06 -0400 Ziv Scully Merge.
Sat, 29 Nov 2014 03:37:59 -0500 Ziv Scully Basic field-resolution invalidation.
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Sun, 01 Feb 2015 12:29:14 -0500 Adam Chlipala A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Wed, 11 Dec 2013 18:22:10 -0500 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Mon, 01 Apr 2013 10:13:49 -0400 Adam Chlipala Change Name_js to skip code snippets that depend on the CSRF-protection signature
Fri, 15 Mar 2013 16:09:55 -0400 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
Sun, 29 Jul 2012 12:54:17 -0400 Adam Chlipala Removed evaluation of js function name strings. (from Vladimir Shabanov)
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
Sat, 07 Jan 2012 15:56:22 -0500 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Sun, 04 Dec 2011 14:40:12 -0500 Adam Chlipala timeFormat .urp directive
Sat, 03 Dec 2011 10:00:10 -0500 Adam Chlipala Allow sources to be returned by RPCs
Sat, 03 Dec 2011 09:44:07 -0500 Adam Chlipala Catching integer divisions by zero
Mon, 15 Aug 2011 12:33:28 -0400 Adam Chlipala Fix bug in JavaScript embedding of lists
Wed, 06 Jul 2011 08:35:31 -0400 Adam Chlipala Add client-side Basis.now and pretty-printing of times
Sat, 09 Apr 2011 14:36:47 -0400 Adam Chlipala Each context gets its own non-repeating sequence of source numbers
Mon, 28 Mar 2011 10:37:49 -0400 Adam Chlipala To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
Thu, 10 Mar 2011 20:22:03 -0500 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
Tue, 08 Feb 2011 16:54:01 -0500 Adam Chlipala Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
Thu, 20 Jan 2011 10:40:40 -0500 Adam Chlipala Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
Thu, 06 Jan 2011 14:25:42 -0500 Adam Chlipala Client-side redirects
Thu, 23 Dec 2010 17:46:40 -0500 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
Fri, 26 Nov 2010 11:57:04 -0500 Adam Chlipala Fix JavaScript unit unurlification; URL blessing client-side
Fri, 19 Nov 2010 17:06:11 -0500 Adam Chlipala Fix RPC deserialization of channels
Sun, 05 Sep 2010 14:00:57 -0400 Adam Chlipala tryDml
Tue, 10 Aug 2010 15:55:43 -0400 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
Sat, 22 May 2010 16:29:54 -0400 Adam Chlipala Switch to strings and eval for thunkifying JavaScripted functions
Sat, 22 May 2010 14:09:06 -0400 Adam Chlipala Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
Sun, 16 May 2010 18:25:00 -0400 Adam Chlipala Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript
Thu, 04 Mar 2010 13:47:16 -0500 Adam Chlipala Louder jscomp; toUpper/Lower fix for JavaScript
Tue, 02 Mar 2010 16:00:48 -0500 Adam Chlipala Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Sun, 03 Jan 2010 12:47:27 -0500 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
Sat, 02 Jan 2010 14:54:15 -0500 Adam Chlipala JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Thu, 10 Dec 2009 13:32:09 -0500 Adam Chlipala Basis.url and redirects
Sat, 05 Dec 2009 14:01:34 -0500 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
Sun, 01 Nov 2009 14:26:20 -0500 Adam Chlipala Initial form for paper assignment
Sun, 25 Oct 2009 15:29:21 -0400 Adam Chlipala Use call/cc for recv and sleep
Sun, 25 Oct 2009 14:07:10 -0400 Adam Chlipala RPC uses VM support for call/cc
Thu, 24 Sep 2009 11:15:21 -0400 Adam Chlipala demo/more compiles; small problem left with foreign keys in Grid1
Thu, 24 Sep 2009 10:42:59 -0400 Adam Chlipala demo/increment works with interpretation
Thu, 24 Sep 2009 07:52:57 -0400 Adam Chlipala Might have fixed demo/listEdit
Tue, 22 Sep 2009 17:12:20 -0400 Adam Chlipala demo/react works with interpretation
Tue, 22 Sep 2009 14:15:29 -0400 Adam Chlipala Compiled an 'option' pattern-match
Tue, 22 Sep 2009 13:41:23 -0400 Adam Chlipala More interpreter debugging
Tue, 22 Sep 2009 12:23:21 -0400 Adam Chlipala Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works)
Sat, 19 Sep 2009 13:32:33 -0400 Adam Chlipala Grid sorting working
Sat, 19 Sep 2009 10:56:09 -0400 Adam Chlipala Hopefully fixed Jscomp bug that was breaking Grid
Thu, 17 Sep 2009 13:44:08 -0400 Adam Chlipala Don't try to compile sigString() calls to JavaScript
Tue, 15 Sep 2009 13:07:57 -0400 Adam Chlipala Fix JavaScript char literals; don't generate demo links to nonexistent files
Mon, 14 Sep 2009 19:04:38 -0400 Adam Chlipala Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript
Tue, 25 Aug 2009 15:19:00 -0400 Adam Chlipala Fix inconsistency in bool URLification between C and JavaScript
Tue, 25 Aug 2009 14:50:19 -0400 Adam Chlipala Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly
Tue, 25 Aug 2009 13:57:56 -0400 Adam Chlipala grid1 compiles but gets stuck in JS
Tue, 11 Aug 2009 11:26:37 -0400 Adam Chlipala Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Sat, 18 Jul 2009 12:53:26 -0400 Adam Chlipala Key events get key code input
Tue, 16 Jun 2009 17:52:44 -0400 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff
Sat, 13 Jun 2009 14:29:36 -0400 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Sat, 06 Jun 2009 15:29:34 -0400 Adam Chlipala Fix unbound name problem in Jscomp injectors; more List stuff
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 02 Jun 2009 12:40:09 -0400 Adam Chlipala Less whining about match failures; fix singleton record Jscomp bug
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Thu, 14 May 2009 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Sat, 02 May 2009 11:27:26 -0400 Adam Chlipala Successfully influenced effectful-ness status of FFI func
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 12:36:01 -0400 Adam Chlipala onError
Sun, 05 Apr 2009 16:17:32 -0400 Adam Chlipala Fixing some regressions and other bugs
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Sat, 04 Apr 2009 14:55:36 -0400 Adam Chlipala spawn
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
Sat, 04 Apr 2009 11:46:24 -0400 Adam Chlipala Checking spans in dyns
Sun, 29 Mar 2009 11:37:29 -0400 Adam Chlipala Redo channels, making them single-client
Thu, 26 Mar 2009 18:26:50 -0400 Adam Chlipala Chat example working nicely, but without dead channel removal
Sun, 22 Mar 2009 16:03:45 -0400 Adam Chlipala Proper recv
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 15:17:23 -0400 Adam Chlipala Batch example
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Sun, 08 Mar 2009 13:41:55 -0400 Adam Chlipala RPC returning an option
Sun, 08 Mar 2009 12:37:42 -0400 Adam Chlipala RPC returning an enumeration
Sun, 15 Feb 2009 13:03:09 -0500 Adam Chlipala Parameterized RPC query
Sun, 15 Feb 2009 12:33:41 -0500 Adam Chlipala Initial parsing of RPC results
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Fri, 16 Jan 2009 15:49:10 -0500 Adam Chlipala dlist example working
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Thu, 08 Jan 2009 10:30:14 -0500 Adam Chlipala Injected a non-special-case datatype
Thu, 08 Jan 2009 10:15:45 -0500 Adam Chlipala Injected a polymorphic, recursive type
Thu, 08 Jan 2009 09:57:45 -0500 Adam Chlipala Injected an enumeration
Fri, 02 Jan 2009 13:03:22 -0500 Adam Chlipala Injected an option
Fri, 02 Jan 2009 12:42:39 -0500 Adam Chlipala Injected a record
Thu, 01 Jan 2009 16:11:42 -0500 Adam Chlipala Injecting strings and bools
Thu, 01 Jan 2009 15:59:02 -0500 Adam Chlipala Injecting a float
Thu, 01 Jan 2009 15:11:17 -0500 Adam Chlipala Injecting an int
Thu, 01 Jan 2009 11:58:00 -0500 Adam Chlipala Included a recursive function in JavaScript
Thu, 01 Jan 2009 11:26:34 -0500 Adam Chlipala Basic datatype reactives
Thu, 01 Jan 2009 11:16:57 -0500 Adam Chlipala Reactive if