diff options
| author | Alasdair Armstrong | 2018-03-01 16:17:10 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-01 16:19:05 +0000 |
| commit | 34d6d58424a57bc5193ee5649c035f3e96838924 (patch) | |
| tree | 404b967937cae4a1b8be6cb285f84b58e39504ec /cheri | |
| parent | 3c6280769679a8cdc76858e1dc60f5efa5769965 (diff) | |
Fix polymorphic functions annotations in OCaml compilation
One caveat still: Won't work if the polymorphic definition consists of
multiple function clauses, but this seems unlikely - and I added an
error message if this is the case.
Also fix a small flow typing bug
Fixes #7
Diffstat (limited to 'cheri')
0 files changed, 0 insertions, 0 deletions