changeset | e15234fbb163 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Basis.tryRpc |
files |
changeset | 0577be31a435 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
files |
changeset | b4480a56cab7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Server-side 'onError' |
files |
changeset | c316ca3c9ec6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Pushing policies through |
files |
changeset | 72670131dace |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
files |
changeset | 0657e5adc938 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Convert to task syntax |
files |
changeset | b2311dfb3158 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initializers and setval |
files |
changeset | dfe34fad749d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | RPC uses VM support for call/cc |
files |
changeset | 2a50da66ffd8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basic tail recursion introduction seems to be working |
files |
changeset | ed06e25c70ef |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Convert to requiring explicit 'rpc' marker |
files |
changeset | 61a1f5c5ae2c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mutual datatypes through Effectize |
files |
changeset | 8688e01ae469 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A view query works |
files |
changeset | e0dd85ea58e1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Label exported symbols by effect-ness; factor out some common datatypes |
files |
changeset | acb8537f58f0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Stop tracking CSS classes in XML types |
files |
changeset | f152f215a02c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | style declarations |
files |
changeset | d8217b4cb617 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | PRIMARY KEY |
files |
changeset | e6706a1df013 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Track uniqueness sets in table types |
files |
changeset | 70cbdcf5989b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | UNIQUE constraints |
files |
changeset | 230654093b51 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | demo/hello compiles with kind polymorphism |
files |
changeset | 588b9d16b00a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
files |
changeset | 8998114760c1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | "Hello world" compiles, after replacing type-level fold with map |
files |
changeset | 56aaa1941dad |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First gimpy RPC |
files |
changeset | 330a7de47914 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Export RPC functions and push RPC calls through to Mono |
files |
changeset | 0dd40b6bfdf3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of RPCification |
files |
changeset | ae03d09043c1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add CutMulti |
files |
changeset | 5c9606deacb6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cookies through shake2 |
files |
changeset | 07f6576aeb0a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Wrapping works in Blog |
files |
changeset | dfc8c991abd0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Replace 'with' with '++' |
files |
changeset | 075b36dbb1a4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Crud supports INSERT |
files |
changeset | e976b187d73a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL sequences |
files |
changeset | 42dfb0d61cf0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'database' declaration threaded through compiler |
files |
changeset | 5c50b17f5e4a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify tables |
files |
changeset | 766b5475477f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corifying con-tuples |
files |
changeset | 9bbf4d383381 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parametrized datatypes through corify |
files |
changeset | 8e9f97508f0d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype representation optimization |
files |
changeset | 88d46972de53 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | bool in Basis |
files |
changeset | 19ee24bffbc0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | FFI datatypes |
files |
changeset | d11754ffe252 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiled pattern matching to C |
files |
changeset | 5d030ee143e2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Case through corify |
files |
changeset | 80192edca30d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatypes through corify |
files |
changeset | 7420fa18d657 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Record cut |
files |
changeset | f0d3402184d1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Simple forms work |
files |
changeset | fd98dd10dce7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corifying (non-mutual) 'val rec' |
files |
changeset | 3739af9e727a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Starting with closure links |
files |
changeset | 813e5a52063d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
files |
changeset | 5f04adf47f48 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Writing HTML |
files |
changeset | f0f59e918cac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | page declaration, up through monoize |
files |
changeset | 275aaeb73f1f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Push KUnit and CUnit through the phases |
files |
changeset | 8b611ecc5f2d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify efold |
files |
changeset | 8e9920db39f2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify cfold |
files |
changeset | 0a5c312de09a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of FFI |
files |
changeset | 537db4ee89f4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Translation to Cjr |
files |
changeset | 4ab19c19665f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Closure conversion |
files |
changeset | bc7b76ca57e0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Conversion to Core |
files |