| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
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
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
when there are other errors
|
| |
|
| |
|
| |
|
| |
|