diff options
| author | Alasdair Armstrong | 2019-05-28 16:04:56 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-28 16:08:18 +0100 |
| commit | c8665edc57e755d4151c2af092a1058def5bf0ca (patch) | |
| tree | 4251b39fbc67860aac81efdde6afe7f2ea2b4549 /src/interactive.mli | |
| parent | ed6162d7b7179652e82a83918c7391e9c29c950e (diff) | |
Make sure single clause functions with top-level guards work correctly
Diffstat (limited to 'src/interactive.mli')
0 files changed, 0 insertions, 0 deletions