index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Fix a bug with 'Some p' patterns, where 'p' needs specialization
Adam Chlipala
2009-06-18
|
*
Fix a variable capture bug in nested JavaScript; some more list stuff
Adam Chlipala
2009-06-16
|
*
Fix a bug in type class enrichment from substructures
Adam Chlipala
2009-06-16
|
*
Fix MonoReduce unsoundness with lets and fns
Adam Chlipala
2009-06-13
|
*
<dyn> inside <table>; fix Specialize bug with datatype decls generating ↵
Adam Chlipala
2009-06-13
|
|
|
|
other mutually-recursive datatype decls
*
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
|
*
&& and ||
Adam Chlipala
2009-06-07
|
*
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
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
|
*
Lexing some more string escape sequences; JS versions of number read; fix ↵
Adam Chlipala
2009-06-02
|
|
|
|
problem with signature unification; escape < more often in Jscomp
*
Tweak -- precedence; use right env for final exhaustiveness errors
Adam Chlipala
2009-06-02
|
*
Fix relative precedence of ; and case-stuff
Adam Chlipala
2009-06-02
|
*
Less whining about match failures; fix singleton record Jscomp bug
Adam Chlipala
2009-06-02
|
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵
Adam Chlipala
2009-06-02
|
|
|
|
Monad library module
*
Expose resolveClass from Elaborate
Adam Chlipala
2009-05-31
|
*
Fix pathmap bug; expose lower-level heap manipulation from C
Adam Chlipala
2009-05-31
|
*
strcspn and friends
Adam Chlipala
2009-05-31
|
*
Defer pattern-matching exhaustiveness checks and normalize pattern types ↵
Adam Chlipala
2009-05-30
|
|
|
|
more thoroughly
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
|
*
String.length
Adam Chlipala
2009-05-30
|
*
Fix variable adjustment bug in fn/case alternation
Adam Chlipala
2009-05-28
|
*
Fix EDLet elab_util bug
Adam Chlipala
2009-05-28
|
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
|
*
Use a timeout to avoid errors after unload
Adam Chlipala
2009-05-28
|
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
|
*
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
|
*
Change monoization of monads to allow partial applications of operations
Adam Chlipala
2009-05-23
|
*
Switch to Maranget's pattern exhaustiveness algorithm
Adam Chlipala
2009-05-23
|
*
Change List.mapM' to avoid leaving functions around
Adam Chlipala
2009-05-21
|
*
ccheckbox
Adam Chlipala
2009-05-21
|
*
Split JavaScript inp() into separate functions
Adam Chlipala
2009-05-21
|
*
Redo Jscomp
Adam Chlipala
2009-05-17
|
*
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Adam Chlipala
2009-05-17
|
*
Corify FFI datatypes properly; eliminate nested JavaScript markers
Adam Chlipala
2009-05-17
|
*
Loading an FCKeditor
Adam Chlipala
2009-05-16
|
*
Fix initialization of cselect from source
Adam Chlipala
2009-05-16
|
*
Fix another problem with overwrites during JavaScript pattern matching
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Cjrize
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Pathcheck
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Corify
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
Add extra XML preamble nonsense
Adam Chlipala
2009-05-16
|
*
Catch more unclosed bodyless tags in Monoize
Adam Chlipala
2009-05-16
|
*
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Adam Chlipala
2009-05-16
|
[next]