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
/
cjr_print.sml
Commit message (
Collapse
)
Author
Age
...
*
Reading ints and floats from SQL
Adam Chlipala
2008-09-07
|
*
Error-parsing ints
Adam Chlipala
2008-09-07
|
*
'read' type class
Adam Chlipala
2008-09-07
|
*
Converting string to int
Adam Chlipala
2008-09-07
|
*
'error' function
Adam Chlipala
2008-09-07
|
*
Ran a prepared statement with one string parameter
Adam Chlipala
2008-09-07
|
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
|
*
First query example working
Adam Chlipala
2008-09-02
|
*
First query execution (not retrieving results yet)
Adam Chlipala
2008-09-02
|
*
Switch base types to 64-bit versions
Adam Chlipala
2008-09-02
|
*
Validating schema of a live database
Adam Chlipala
2008-09-02
|
*
Generating SQL files
Adam Chlipala
2008-09-02
|
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
|
*
Initializing database connection
Adam Chlipala
2008-09-02
|
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
|
*
Cjrize query
Adam Chlipala
2008-09-02
|
*
Laconic -> Ur
Adam Chlipala
2008-08-31
|
*
Urlifying records
Adam Chlipala
2008-08-09
|
*
strings get 'Option' datatype handling; fix datatype unurlifying
Adam Chlipala
2008-08-09
|
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
|
*
Re-consistent-ify naming of union members
Adam Chlipala
2008-08-09
|
*
Lists all the way through
Adam Chlipala
2008-08-09
|
*
Checkboxes
Adam Chlipala
2008-08-07
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
bool in Basis
Adam Chlipala
2008-08-03
|
*
FFI datatypes
Adam Chlipala
2008-08-03
|
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
|
*
Cjrize ECon
Adam Chlipala
2008-08-03
|
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
|
*
Unurlifying a datatype; longjmp-based error signaling mechanism
Adam Chlipala
2008-07-29
|
*
Start of unurlify for datatypes
Adam Chlipala
2008-07-29
|
*
Datatypes through cjrize, modulo decoding
Adam Chlipala
2008-07-29
|
*
Simple forms work
Adam Chlipala
2008-07-22
|
*
Almost ready to have a form work
Adam Chlipala
2008-07-20
|
*
Dynamic arena allocation
Adam Chlipala
2008-07-17
|
*
Compiled (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Multiple arguments to web functions
Adam Chlipala
2008-07-13
|
*
Passing an argument to a web function
Adam Chlipala
2008-07-13
|
*
Proper handling of non-function-call links
Adam Chlipala
2008-07-13
|
*
Serving pages
Adam Chlipala
2008-07-13
|
*
Basic web server
Adam Chlipala
2008-07-13
|
*
Cjr ready for dispatch code generation
Adam Chlipala
2008-07-13
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
|
*
Writing HTML
Adam Chlipala
2008-07-10
|
*
First executable generated
Adam Chlipala
2008-07-10
|
*
FFI through cjrize
Adam Chlipala
2008-06-22
|
*
Simple signature matching
Adam Chlipala
2008-06-12
|
*
Translation to Cjr
Adam Chlipala
2008-06-10
[prev]