| Commit message (Collapse) | Author | Age |
... | |
|
|
|
|
|
| |
module)
For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
|
| |
|
|
|
|
|
| |
For better error messages. The API change is
backwards compatible, using a new optional argument.
|
| |
|
|
|
|
|
|
| |
longer stable w.r.t. equality constraints as the universe graph will
choose different canonical levels depending on the equalities given to
it (l = r vs r = l).
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
This allows to remove a lot of independent code from Evd which was put
into the UState module. The API is not perfect yet, but this is a first
pass. Names of data structures should be thought about too because they
are way too similar.
|