| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
As observed by @smarter, makes sense to do this.
|
|
|
|
|
| |
Fix: #1366. Constant adaptation did not work if the
expected type was an as yet uninstantiated type variable.
|
|
|
|
|
| |
Since we now have two forms of (almost) everything in Definitions,
might as well profit from it.
|
|
|
|
|
|
|
|
| |
New constraint handling scheme using constraints that distinguish more between
parameter and non-parameter bounds and which track parameter bounds separately.
This allows a co-inductive formulation of satisfiability checking without fishy
cyclicity checks. It should also scale better for long chains of dependent type
variables.
|
|
|
|
|
| |
More verbose assertions.
Unnecessary semicolons removed.
|
|
|
|
| |
Can now also convert a constant to a type that's lower-bounded by a primitive numeric type.
|
| |
|
|
|
|
|
| |
Split printers into several files. Added refined printing of trees. Changed Showable and generalized printing
under a precedence.
|
| |
|
| |
|
|
|
|
| |
Made trees printable in plain mode (refined mode still missing).
|
| |
|
|
|