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
/
lib
/
ur
/
list.urs
Commit message (
Collapse
)
Author
Age
*
Some new List functions, based on code by Ron de Bruijn
Adam Chlipala
2011-12-11
|
*
Fix another list unurlification segfault bug; List.foldlMi
Adam Chlipala
2011-08-21
|
*
List.mapXi
Adam Chlipala
2011-08-15
|
*
List.find
Adam Chlipala
2011-07-24
|
*
recToList
Robin Green
2011-06-27
|
*
Allow subqueries to reference aggregate-only columns of free tables; treat ↵
Adam Chlipala
2011-01-15
|
|
|
|
non-COUNT aggregate functions as possibly returning NULL
*
Fiddly tweaks
Adam Chlipala
2010-12-16
|
*
Fix a bug in C list unurlification
Adam Chlipala
2010-11-21
|
*
queryL1 and List.sort
Adam Chlipala
2010-11-20
|
*
List.mapi
Adam Chlipala
2010-06-13
|
*
Subquery expressions
Adam Chlipala
2010-03-25
|
*
Eta-expand bodies of transaction functions in Monoization, to enable later ↵
Adam Chlipala
2009-12-31
|
|
|
|
optimization
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
|
*
dragList almost kinda works
Adam Chlipala
2009-09-08
|
*
Convert to requiring explicit 'rpc' marker
Adam Chlipala
2009-08-22
|
*
Fix a variable capture bug in nested JavaScript; some more list stuff
Adam Chlipala
2009-06-16
|
*
Some standard library reorgs and additions; handle mutual datatypes better ↵
Adam Chlipala
2009-06-09
|
|
|
|
in Specialize
*
Mark current as effectful; add List functions
Adam Chlipala
2009-06-09
|
*
Fix datatype import bug in Elaborate; fix server-side source setting; more ↵
Adam Chlipala
2009-06-07
|
|
|
|
standard library stuff
*
List.all; fix ANDALSO/ORELSE parsing precedence
Adam Chlipala
2009-06-07
|
*
Fix unbound name problem in Jscomp injectors; more List stuff
Adam Chlipala
2009-06-06
|
*
List library additions; fix another substructure unification bug
Adam Chlipala
2009-06-06
|
*
Defer pattern-matching exhaustiveness checks and normalize pattern types ↵
Adam Chlipala
2009-05-30
|
|
|
|
more thoroughly
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
|
*
Chars and more string operations
Adam Chlipala
2009-05-26
|
*
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Adam Chlipala
2009-05-14
|
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14