log src/monoize.sml

age author description
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 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 12:47:01 -0400 Adam Chlipala Catch more unclosed bodyless tags in Monoize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Thu, 30 Apr 2009 11:07:29 -0400 Adam Chlipala Basis.list
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 14:02:23 -0400 Adam Chlipala Preparing to allow views in SELECT FROM clauses
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Sat, 25 Apr 2009 13:59:11 -0400 Adam Chlipala Initial support for blobs and upload
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 23 Apr 2009 14:10:10 -0400 Adam Chlipala Only use cookie signatures when cookies might be read
Thu, 16 Apr 2009 19:12:12 -0400 Adam Chlipala Cookie signing working for forms
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 12:43:55 -0400 Adam Chlipala Show XML
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 05 Apr 2009 10:48:11 -0400 Adam Chlipala Threads demo
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
Thu, 02 Apr 2009 11:42:26 -0400 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels
Sun, 29 Mar 2009 14:13:50 -0400 Adam Chlipala Expunging nullable fields
Sun, 29 Mar 2009 13:30:01 -0400 Adam Chlipala Expunging non-nullable rows
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
Thu, 26 Mar 2009 16:22:34 -0400 Adam Chlipala Preliminary work supporting channels in databases
Thu, 26 Mar 2009 15:26:35 -0400 Adam Chlipala Make sql_injectable class nicer with inclusion
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
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Sun, 15 Feb 2009 13:03:09 -0500 Adam Chlipala Parameterized RPC query
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
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 27 Jan 2009 09:53:51 -0500 Adam Chlipala Use normal fields of ctextboxes
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>
Sun, 11 Jan 2009 10:22:19 -0500 Adam Chlipala Use header to set default script type
Sun, 11 Jan 2009 10:05:06 -0500 Adam Chlipala Hooking a source into an input
Thu, 01 Jan 2009 15:11:17 -0500 Adam Chlipala Injecting an int
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Tue, 30 Dec 2008 09:43:41 -0500 Adam Chlipala Starting to implement source set
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sun, 21 Dec 2008 12:01:00 -0500 Adam Chlipala Switch to using dyn() function in JavaScript
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Fri, 19 Dec 2008 11:47:18 -0500 Adam Chlipala Creation of sources in server code
Fri, 19 Dec 2008 10:27:58 -0500 Adam Chlipala Monad type class seems to be working
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Tue, 11 Nov 2008 16:27:51 -0500 Adam Chlipala More ThreadedBlog progress
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 15:52:13 -0500 Adam Chlipala Ensql'ing nullables
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 14:03:50 -0500 Adam Chlipala Cookies work across pages
Thu, 06 Nov 2008 12:46:45 -0500 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works
Thu, 06 Nov 2008 11:29:16 -0500 Adam Chlipala Setting a cookie
Sat, 01 Nov 2008 17:19:12 -0400 Adam Chlipala Fix some type-class detection
Sat, 01 Nov 2008 16:46:16 -0400 Adam Chlipala Wrapping works in Blog
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Thu, 30 Oct 2008 15:33:28 -0400 Adam Chlipala CURRENT_TIMESTAMP
Thu, 30 Oct 2008 15:11:37 -0400 Adam Chlipala Marshaling time to SQL
Thu, 30 Oct 2008 14:40:42 -0400 Adam Chlipala Add time to some type classes
Thu, 30 Oct 2008 14:36:48 -0400 Adam Chlipala time type
Thu, 23 Oct 2008 18:45:10 -0400 Adam Chlipala Crud2 demo
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 11:22:10 -0400 Adam Chlipala ord_string
Tue, 21 Oct 2008 11:19:17 -0400 Adam Chlipala ord_float and ord_bool
Tue, 21 Oct 2008 11:04:24 -0400 Adam Chlipala gt, ge
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:40:22 -0400 Adam Chlipala num_float
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 21 Oct 2008 09:52:52 -0400 Adam Chlipala Monoize eq_[bool|string]
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 19 Oct 2008 15:47:47 -0400 Adam Chlipala Support for URL prefixes that works with local demo
Tue, 14 Oct 2008 16:41:48 -0400 Adam Chlipala lform -> form
Sat, 04 Oct 2008 16:15:13 -0400 Adam Chlipala Use checkbox in CRUD example
Sun, 14 Sep 2008 19:22:04 -0400 Adam Chlipala Fix inexhaustive match
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Thu, 11 Sep 2008 17:41:52 -0400 Adam Chlipala Crud listing IDs
Tue, 09 Sep 2008 12:36:13 -0400 Adam Chlipala Termination checking allows anything in links and actions
Sun, 07 Sep 2008 15:40:42 -0400 Adam Chlipala Rename 'lw' prefixes to 'uw'
Sun, 07 Sep 2008 15:16:10 -0400 Adam Chlipala First DELETE works
Sun, 07 Sep 2008 15:12:47 -0400 Adam Chlipala First UPDATE works
Sun, 07 Sep 2008 15:05:52 -0400 Adam Chlipala First INSERT works
Sun, 07 Sep 2008 13:29:01 -0400 Adam Chlipala pquery working with all four types of columns
Sun, 07 Sep 2008 12:15:46 -0400 Adam Chlipala Error-parsing ints
Sun, 07 Sep 2008 11:53:30 -0400 Adam Chlipala 'read' type class
Sun, 07 Sep 2008 11:33:13 -0400 Adam Chlipala Converting string to int
Sun, 07 Sep 2008 10:48:51 -0400 Adam Chlipala 'show' type class; htmlification optimizations
Sun, 07 Sep 2008 10:02:27 -0400 Adam Chlipala 'error' function
Tue, 02 Sep 2008 15:29:45 -0400 Adam Chlipala First query execution (not retrieving results yet)
Tue, 02 Sep 2008 13:44:54 -0400 Adam Chlipala Generating SQL files
Tue, 02 Sep 2008 13:09:54 -0400 Adam Chlipala Table declarations pushed to Cjr
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 16:32:49 -0400 Adam Chlipala Changed EQuery not to use a function in its body
Sun, 31 Aug 2008 16:26:50 -0400 Adam Chlipala Monoize aggregates
Sun, 31 Aug 2008 16:20:34 -0400 Adam Chlipala Monoize COUNT(*)
Sun, 31 Aug 2008 16:13:07 -0400 Adam Chlipala Monoize unops
Sun, 31 Aug 2008 16:11:15 -0400 Adam Chlipala Monoize OFFSET
Sun, 31 Aug 2008 16:10:20 -0400 Adam Chlipala Monoize LIMIT
Sun, 31 Aug 2008 16:03:43 -0400 Adam Chlipala Monoize ORDER BY
Sun, 31 Aug 2008 15:47:32 -0400 Adam Chlipala Monoize relops
Sun, 31 Aug 2008 15:36:15 -0400 Adam Chlipala Monoize HAVING
Sun, 31 Aug 2008 15:32:31 -0400 Adam Chlipala Avoid unnecessary WHERE clause
Sun, 31 Aug 2008 15:04:10 -0400 Adam Chlipala Monoized GROUP BY
Sun, 31 Aug 2008 14:33:22 -0400 Adam Chlipala Monoized binary operators
Sun, 31 Aug 2008 14:27:01 -0400 Adam Chlipala Monoized a WHERE clause with a comparison
Sun, 31 Aug 2008 13:58:47 -0400 Adam Chlipala Monoized and optimized initial query test
Sun, 31 Aug 2008 10:36:54 -0400 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
Sun, 31 Aug 2008 09:00:28 -0400 Adam Chlipala Corify tables
Sat, 16 Aug 2008 15:03:05 -0400 Adam Chlipala Corifying con-tuples
Sat, 09 Aug 2008 20:08:29 -0400 Adam Chlipala Urlifying records
Sat, 09 Aug 2008 19:23:31 -0400 Adam Chlipala 'Option' datatype encoding
Sat, 09 Aug 2008 16:48:32 -0400 Adam Chlipala Lists all the way through
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Fri, 08 Aug 2008 10:59:06 -0400 Adam Chlipala Parametrized datatypes through corify
Thu, 07 Aug 2008 13:09:26 -0400 Adam Chlipala Checkboxes
Sun, 03 Aug 2008 19:49:21 -0400 Adam Chlipala Datatype representation optimization
Sun, 03 Aug 2008 18:53:20 -0400 Adam Chlipala bool in Basis
Sun, 03 Aug 2008 17:57:47 -0400 Adam Chlipala FFI datatypes
Sun, 03 Aug 2008 13:30:27 -0400 Adam Chlipala Optimizing 'case' in Mono_reduce
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sun, 03 Aug 2008 10:48:36 -0400 Adam Chlipala Cases through monoize
Sun, 03 Aug 2008 09:26:49 -0400 Adam Chlipala First part of getting cases through monoize
Sat, 02 Aug 2008 11:15:32 -0400 Adam Chlipala Case through corify
Tue, 29 Jul 2008 15:43:17 -0400 Adam Chlipala Storing datatype constructors in type references past monoize
Tue, 29 Jul 2008 15:25:42 -0400 Adam Chlipala Unurlifying a datatype; longjmp-based error signaling mechanism
Tue, 29 Jul 2008 13:32:07 -0400 Adam Chlipala Datatypes through monoize
Tue, 29 Jul 2008 13:16:21 -0400 Adam Chlipala Datatypes through corify
Thu, 24 Jul 2008 11:32:01 -0400 Adam Chlipala Password inputs
Thu, 24 Jul 2008 11:16:54 -0400 Adam Chlipala HTML select
Thu, 24 Jul 2008 11:10:23 -0400 Adam Chlipala radio and radioOption
Thu, 24 Jul 2008 10:41:53 -0400 Adam Chlipala textarea
Thu, 24 Jul 2008 10:09:21 -0400 Adam Chlipala Record cut
Tue, 22 Jul 2008 19:12:25 -0400 Adam Chlipala gform in proper order
Tue, 22 Jul 2008 15:12:20 -0400 Adam Chlipala Simple forms work
Sun, 20 Jul 2008 13:30:19 -0400 Adam Chlipala Almost ready to have a form work
Sun, 20 Jul 2008 11:33:23 -0400 Adam Chlipala Initial form support
Sun, 20 Jul 2008 10:40:25 -0400 Adam Chlipala A simpler context encoding
Sun, 20 Jul 2008 10:11:16 -0400 Adam Chlipala Form binding parameters threaded through
Thu, 17 Jul 2008 13:33:56 -0400 Adam Chlipala Proper escaping of cdata
Thu, 17 Jul 2008 10:48:25 -0400 Adam Chlipala Monoizing (non-mutual) 'val rec'
Thu, 17 Jul 2008 10:23:04 -0400 Adam Chlipala Corifying (non-mutual) 'val rec'
Sun, 13 Jul 2008 20:24:05 -0400 Adam Chlipala Multiple arguments to web functions
Sun, 13 Jul 2008 20:07:10 -0400 Adam Chlipala Passing an argument to a web function
Sun, 13 Jul 2008 15:47:18 -0400 Adam Chlipala Serving pages with links
Sun, 13 Jul 2008 12:56:39 -0400 Adam Chlipala Cjr ready for dispatch code generation
Sun, 13 Jul 2008 12:06:47 -0400 Adam Chlipala Closure code generation almost there
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 15:49:14 -0400 Adam Chlipala More with attributes and efficient serialization