diff options
author | 2012-10-30 14:51:08 +0000 | |
---|---|---|
committer | 2012-10-30 14:51:08 +0000 | |
commit | 42a6fbf0c3fdafcc1d3e6870be61f612bb249ca3 (patch) | |
tree | c2330b21f457d4c7c651052ecd11162f9eacd42a /grammar | |
parent | a14e4c0670eda14686a6fcf24b909f9fc3e1e3d3 (diff) |
Extraction Implicit: consider the parameters of a constructor (fix #2905)
The parameters of a constructor C are part of the type of C,
we should take them in account when retrieving the argument(s)
declared as implicit.
This way, the Extraction Implicit should now be correct when
given named arguments of constructors with parameters.
When positional numbers are given to Extraction Implicit, these
numbers should now be increased by the number of parameters for
this constructor.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15943 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions