diff options
| author | Brian Campbell | 2018-05-11 10:16:23 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-11 17:36:20 +0100 |
| commit | 1763b8b5dceb614c04ccab83a8100268e0852626 (patch) | |
| tree | b0f5b06de389c9a50e5045f2cfeb02508890a3e6 /src/pp.mli | |
| parent | 13848ba495e79fcc6efe10cf7d98f68fa9453f29 (diff) | |
Use type from funcl in singleton rewriting
The pattern types may be subtypes, using those caused it to try rewriting
int parameters and failing
Diffstat (limited to 'src/pp.mli')
0 files changed, 0 insertions, 0 deletions