diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-18 17:04:12 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-18 21:22:11 +0100 |
| commit | 6ababf42b3f03926c30cfbd209436ec83a21769e (patch) | |
| tree | cdd1350661a5c78f2609eeb5f3c0f38b517b6118 /plugins/quote/quote.ml | |
| parent | 0346ee4472711fc30b7cf197c1bad5c32140f831 (diff) | |
Fixing fix c71aa6b to primitive projections.
- Introduced an error: fold was counting in the wrong direction and I
did not test it. Sorry.
- Substitution from params-with-let to params-without-let was still
not correct.
Hopefully everything ok now. Eventually, we should use canonical
combinators for that: extended_rel_context to built the instance and
and a combinator apparently yet to define for building a substitution
contracting the let-ins.
Diffstat (limited to 'plugins/quote/quote.ml')
0 files changed, 0 insertions, 0 deletions