diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-06-11 18:35:07 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-06-22 10:56:40 +0200 |
commit | c9ceeac8f294df6f3b5f01b25141cac17c9a1591 (patch) | |
tree | 042fa5ffb012f26e650a768c6c19dbac35e92cad /plugins/quote | |
parent | df35025b2be4a0dc9aadecc0e3110a21012683cf (diff) |
[ssr] set: merge universe constraints before type checking the term
Diffstat (limited to 'plugins/quote')
0 files changed, 0 insertions, 0 deletions