Y-Nak
5 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
1 additions and
1 deletions
-
cranelift/peepmatic/README.md
|
|
|
@ -321,7 +321,7 @@ optimizations. |
|
|
|
We walk the AST and gather type constraints. Every constraint is associated with |
|
|
|
a span in the source file. We hand these constraints off to Z3. In the case that |
|
|
|
there are type errors (i.e. Z3 returns `unsat`), we get the constraints that are |
|
|
|
in conflict with each othe via `z3::Solver::get_unsat_core` and report the type |
|
|
|
in conflict with each other via `z3::Solver::get_unsat_core` and report the type |
|
|
|
errors to the user, with the source context, thanks to the constraints' |
|
|
|
associated spans. |
|
|
|
|
|
|
|
|
