| Commit message (Collapse) | Author | Age |
|
|
|
| |
constraints to support a kind of subtyping over (SQL) constraint sets
|
| |
|
| |
|
| |
|
|
|
|
| |
constraints while checking later signature items
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
incremental elaboration; document treatment of record types as type class instance types
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
pieces contain unification variables (to prevent undesired unifications)
|
|
|
|
| |
displeasing the new scoping check
|
| |
|
| |
|
|
|
|
| |
for subSgn
|
| |
|
|
|
|
| |
types are incompatible
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
summaries on errors
|
| |
|
|
|
|
| |
failures if all record unifications succeeded
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|