log src/monoize.sml

age author description
Tue, 06 Oct 2009 15:39:27 -0400 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
Mon, 05 Oct 2009 12:51:17 -0400 Adam Chlipala Mangle local table names to avoid keyword clashes in SQL
Sat, 26 Sep 2009 12:45:19 -0400 Adam Chlipala Whitelisting tags that may be self-closed
Thu, 24 Sep 2009 12:26:30 -0400 Adam Chlipala Fix sel() generation bug
Tue, 22 Sep 2009 17:12:20 -0400 Adam Chlipala demo/react works with interpretation
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
Thu, 17 Sep 2009 17:11:23 -0400 Adam Chlipala tail example working
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working
Sat, 12 Sep 2009 10:03:12 -0400 Adam Chlipala Prevent event bubbling
Tue, 08 Sep 2009 10:18:19 -0400 Adam Chlipala dragList almost kinda works
Tue, 25 Aug 2009 13:57:56 -0400 Adam Chlipala grid1 compiles but gets stuck in JS
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Tue, 11 Aug 2009 12:01:54 -0400 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
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
Thu, 06 Aug 2009 14:57:44 -0400 Adam Chlipala <dyn> inside <tr>
Thu, 06 Aug 2009 14:24:40 -0400 Adam Chlipala dlist row add working with Konqueror
Thu, 06 Aug 2009 11:54:28 -0400 Adam Chlipala dtable example and demos both working
Sat, 18 Jul 2009 12:53:26 -0400 Adam Chlipala Key events get key code input
Sat, 18 Jul 2009 10:27:32 -0400 Adam Chlipala Blobs tested in MySQL and SQLite
Fri, 17 Jul 2009 17:03:37 -0400 Adam Chlipala Most of demo working with SQLite
Thu, 16 Jul 2009 13:59:30 -0400 Adam Chlipala MySQL accepts generated demo DDL
Sun, 12 Jul 2009 15:05:40 -0400 Adam Chlipala MySQL demo/sql succeeds in reading no rows
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
Tue, 09 Jun 2009 18:11:59 -0400 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 21 May 2009 10:18:20 -0400 Adam Chlipala Split JavaScript inp() into separate functions
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