debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Fix signature matching of an imported datatype vs. a fresh datatype	Adam Chlipala	2020-02-07
*	Use elabFile completely instead of rebuilding it partially	Simon Van Casteren	2019-12-13
*	Merge remote-tracking branch 'origin/master' into typeOf	Simon Van Casteren	2019-12-13
\|\
\| *	Desugaring of SQL constraints uses wildcards, so allow that even in signatures	Adam Chlipala	2019-09-21
\| *	Laxer wildcard restriction for signatures	Adam Chlipala	2019-09-20
\| *	Signatures should be allowed to use wildcards for kinds associated with concr...	Adam Chlipala	2019-09-18
\| *	Disallow wildcards in signatures (should help with #174)	Adam Chlipala	2019-09-18
* \|	Don't use interfaces anymore for ModDb validity, but check for undetermined u...	FrigoEU	2019-07-29
* \|	First iteration of more detailed elaboration caching	FrigoEU	2019-07-07
\|/
*	Fix subsignature checking for mutually recursive types	Adam Chlipala	2019-07-06
*	Proper error message when the body of a 'val' declaration fails to check agai...	Adam Chlipala	2018-05-20
*	Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations	Adam Chlipala	2017-07-12
*	Finish removing PWild; only load a library once, even if referenced multiple ...	Adam Chlipala	2016-02-07
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
*	A simple eta rule for constructor-level tuples	Adam Chlipala	2015-12-31
*	Some bugs related to kind-checking tuples	Adam Chlipala	2015-12-31
*	Fix tricky case of functor signature subsumption	Adam Chlipala	2015-11-27
*	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
*	After a tricky debugging session, limit visibility of type-class instances fr...	Adam Chlipala	2015-11-01
*	More Elaborate work to avoid instantiating unification variables with out-of-...	Adam Chlipala	2015-10-24
*	Proper error message for excessively fancy FFI signatures	Adam Chlipala	2015-08-27
*	Improve wildification for records of type-class witnesses	Adam Chlipala	2015-01-28
*	Fixing one small issue with changes to signature matching (grandfathered into...	Adam Chlipala	2015-01-03
*	Fix a bug in subsignature checking for submodules	Adam Chlipala	2014-12-30
*	Improve wildify heuristic for finding record type-class witnesses	Adam Chlipala	2014-12-23
*	Another try at a proper fix for constraint matching in subsignature checking	Adam Chlipala	2014-12-23
*	Move code from last changeset, to improve performance	Adam Chlipala	2014-12-05
*	When unifying constructor-level unification variables, also unify their kinds	Adam Chlipala	2014-08-01
*	Retweak the last tweak to allow type inference to succeed in a strict superse...	Adam Chlipala	2014-07-29
*	Small tweak to ordering of unification rules, to support better record matching	Adam Chlipala	2014-07-29
*	New lessSafeFfi	Adam Chlipala	2014-05-02
*	Monadic bind supports patterns	Adam Chlipala	2014-05-02
*	Tweaked parameter renaming for functors, so now demos and the original bug-tr...	Adam Chlipala	2014-02-20
*	Some more nested functor bug-fixing, including generating fresh internal name...	Adam Chlipala	2014-02-20
*	Fix a subtle renaming problem in elaborating functor applications	Adam Chlipala	2014-02-14
*	Add another simple case for record unification between alpha-equivalent const...	Adam Chlipala	2014-01-29
*	Sneaky still-in-today's-release update of 'table' signature item handling	Adam Chlipala	2013-11-24
*	Interpret 'table' signature items more flexibly, automatically adding (Ur) co...	Adam Chlipala	2013-11-04
*	Save disjointness environments across top-level declarations	Adam Chlipala	2013-10-17
*	Get -root working properly again	Adam Chlipala	2013-09-26
*	Potentially exponential search through where to head-normalize in [decompileCon]	Adam Chlipala	2013-08-19
*	Allow [where con] to descend within submodule structure; open submodule const...	Adam Chlipala	2013-08-19
*	Remove 'class' declaration; now use 'con' instead	Adam Chlipala	2012-07-29
*	Implicit records of folders	Adam Chlipala	2012-05-17
*	-dumpTypesOnError	Adam Chlipala	2012-05-05
*	Send daemon output to calling process	Adam Chlipala	2012-05-05
*	More diagnostic information about some type class resolution failures	Adam Chlipala	2012-05-04
*	Catch duplicate top-level module names; fix dropping of constraints during in...	Adam Chlipala	2012-05-03
*	Don't modify the module cache after elaboration failures	Adam Chlipala	2012-05-02
*	Better discovery of type class instances from recursive definitions	Adam Chlipala	2012-05-02