index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
rpcify.sml
Commit message (
Collapse
)
Author
Age
*
Basis.tryRpc
Adam Chlipala
2013-04-16
|
*
Handle recursive RPC handlers
Adam Chlipala
2012-03-11
|
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence ↵
Adam Chlipala
2012-01-12
|
|
|
|
ending in a value of function-containing type
*
Basis.serialize; separate file for mhash; run transactional finishers in ↵
Adam Chlipala
2009-12-31
|
|
|
|
reverse order; set needs_sig properly
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Grid changed to use Dlist.replace; filters stopped working
Adam Chlipala
2009-09-17
|
*
Don't try to check if functions are already tail-recursive
Adam Chlipala
2009-09-17
|
*
tail example working
Adam Chlipala
2009-09-17
|
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
|
*
Convert to requiring explicit 'rpc' marker
Adam Chlipala
2009-08-22
|
*
Successfully influenced effectful-ness status of FFI func
Adam Chlipala
2009-05-02
|
*
Label exported symbols by effect-ness; factor out some common datatypes
Adam Chlipala
2009-04-16
|
*
RoundTrip demo
Adam Chlipala
2009-04-05
|
*
Chat example working nicely, but without dead channel removal
Adam Chlipala
2009-03-26
|
*
Proper recv
Adam Chlipala
2009-03-22
|
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
|
*
Noisy demo
Adam Chlipala
2009-03-10
|
*
BatchG demo
Adam Chlipala
2009-03-10
|
*
Batch example
Adam Chlipala
2009-03-10
|
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
|
*
Initial parsing of RPC results
Adam Chlipala
2009-02-15
|
*
First gimpy RPC
Adam Chlipala
2009-02-15
|
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
|
*
Start of RPCification
Adam Chlipala
2009-02-14