diff options
| author | Pierre-Marie Pédrot | 2016-04-11 13:45:57 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-04-12 20:49:12 +0200 |
| commit | e9aa3e6b70b1bab7138187733f6647b655a81b0b (patch) | |
| tree | 19d81b01d3ee39cf3b9e760e00fb636b5b5f5225 /kernel/nativelambda.ml | |
| parent | d78784bd86d3d571bb2891356e9e9718c69976ba (diff) | |
Allowing the presence of TYPED AS in specialized ARGUMENT EXTEND.
This allows to use the ARGUMENT EXTEND macro while sharing the same
toplevel dynamic representation as another argument.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions