2009-09-24 |
Adam Chlipala |
demo/more compiles; small problem left with foreign keys in Grid1 |
2009-09-24 |
Adam Chlipala |
demo/increment works with interpretation |
2009-09-24 |
Adam Chlipala |
Might have fixed demo/listEdit |
2009-09-22 |
Adam Chlipala |
demo/react works with interpretation |
2009-09-22 |
Adam Chlipala |
Compiled an 'option' pattern-match |
2009-09-22 |
Adam Chlipala |
More interpreter debugging |
2009-09-22 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
2009-09-19 |
Adam Chlipala |
Grid sorting working |
2009-09-19 |
Adam Chlipala |
Hopefully fixed Jscomp bug that was breaking Grid |
2009-09-17 |
Adam Chlipala |
Don't try to compile sigString() calls to JavaScript |
2009-09-15 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
2009-09-14 |
Adam Chlipala |
Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript |
2009-08-25 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
2009-08-25 |
Adam Chlipala |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-11 |
Adam Chlipala |
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-07-18 |
Adam Chlipala |
Key events get key code input |
2009-06-16 |
Adam Chlipala |
Fix a variable capture bug in nested JavaScript; some more list stuff |
2009-06-13 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
2009-06-07 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
2009-06-06 |
Adam Chlipala |
Fix unbound name problem in Jscomp injectors; more List stuff |
2009-06-02 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
2009-06-02 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
2009-06-02 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
2009-05-30 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
2009-05-28 |
Adam Chlipala |
Fix variable adjustment bug in fn/case alternation |
2009-05-26 |
Adam Chlipala |
Chars and more string operations |
2009-05-17 |
Adam Chlipala |
Redo Jscomp |
2009-05-17 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
2009-05-16 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
2009-05-14 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
2009-05-14 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-14 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
2009-05-02 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
2009-04-30 |
Adam Chlipala |
C FFI compiler options |
2009-04-26 |
Adam Chlipala |
Returning a blob as page result |
2009-04-23 |
Adam Chlipala |
Cookie signatures for RPCs |
2009-04-16 |
Adam Chlipala |
Some client-side error handling |
2009-04-16 |
Adam Chlipala |
onError |
2009-04-05 |
Adam Chlipala |
Fixing some regressions and other bugs |
2009-04-04 |
Adam Chlipala |
sleep and better Scriptcheck |
2009-04-04 |
Adam Chlipala |
spawn |
2009-04-04 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
2009-04-04 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
2009-04-04 |
Adam Chlipala |
Checking spans in dyns |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-26 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
2009-03-22 |
Adam Chlipala |
Proper recv |
2009-03-22 |
Adam Chlipala |
First message send delivered, but not interpreted |
2009-03-10 |
Adam Chlipala |
Noisy demo |
2009-03-10 |
Adam Chlipala |
Batch example |
2009-03-10 |
Adam Chlipala |
ListEdit demo, minus prose |
2009-03-08 |
Adam Chlipala |
RPC returning an option |
2009-03-08 |
Adam Chlipala |
RPC returning an enumeration |
2009-02-15 |
Adam Chlipala |
Parameterized RPC query |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-15 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-08 |
Adam Chlipala |
Injected a non-special-case datatype |
2009-01-08 |
Adam Chlipala |
Injected a polymorphic, recursive type |
2009-01-08 |
Adam Chlipala |
Injected an enumeration |
2009-01-02 |
Adam Chlipala |
Injected an option |
2009-01-02 |
Adam Chlipala |
Injected a record |
2009-01-01 |
Adam Chlipala |
Injecting strings and bools |
2009-01-01 |
Adam Chlipala |
Injecting a float |
2009-01-01 |
Adam Chlipala |
Injecting an int |
2009-01-01 |
Adam Chlipala |
Included a recursive function in JavaScript |
2009-01-01 |
Adam Chlipala |
Basic datatype reactives |
2009-01-01 |
Adam Chlipala |
Reactive if |
2009-01-01 |
Adam Chlipala |
Reactive bool |
2009-01-01 |
Adam Chlipala |
Reactive record pattern |
2009-01-01 |
Adam Chlipala |
Used an option as a source |
2009-01-01 |
Adam Chlipala |
Reactive computation with more base types and records |
2009-01-01 |
Adam Chlipala |
Source containing an int |
2008-12-30 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-30 |
Adam Chlipala |
Setting a source server-side |
2008-12-21 |
Adam Chlipala |
Trivial use of a source |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-20 |
Adam Chlipala |
Successfully generated a page element from a signal |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-20 |
Adam Chlipala |
Start of JsComp |