diff options
| author | Hugo Herbelin | 2020-01-04 12:53:09 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-22 01:52:29 +0100 |
| commit | b5bd769d725495d8c78c04d6721742e602a9b539 (patch) | |
| tree | d14b8a166f89e6eda6b4cee000677f1c83a34134 /dev | |
| parent | e1f2a1b97bb61e9c5ebaffda55a3be1ea3267c6b (diff) | |
Preparing to simplifying the structure of type "tolerability".
The "Any" case was not reached formerly for ETPattern and ETConstr as
far as I can see. So there should be no change of semantics.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions