diff options
| author | Jon French | 2018-05-01 10:36:01 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | 471bbe0bb6f05034033566990b87e6d2f3853afe (patch) | |
| tree | ed99f18a42b80a15572d2c166200524007cf69a5 /src/parser.mly | |
| parent | 66047739ae2c5b4e84084930754d78bc21927b8e (diff) | |
type-checking of calls to mappings, by synthing val-specs for the realised functions early and then mimicing the overload machinery
Diffstat (limited to 'src/parser.mly')
0 files changed, 0 insertions, 0 deletions