diff options
| author | Hugo Herbelin | 2017-05-01 19:40:55 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-31 01:58:11 +0200 |
| commit | a3407e27e60104fa8ea2e62433f9920a41a22757 (patch) | |
| tree | 032bbe79237163eb7d914323717edb26a16075e1 /API | |
| parent | bcc9165aec1a80d563d7060ef127ad022e9ed008 (diff) | |
Splitting interp_open_constr into two variants, with or without type classes.
This simplifies the API as before, inference of instances of type
classes was iff a type constraint was given.
We then export these both versions of interp_open_constr.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions