diff options
| author | Brian Campbell | 2019-05-06 16:36:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | 5e78fee9b215e7663f6fcf36673b36cce00aca04 (patch) | |
| tree | e942776319b02dea54b98803d60038c29258177c /src/value.ml | |
| parent | f435dc901d6331514a8d64768169e7770ea8bd7a (diff) | |
Handle type variables generated while inferring applications in monomorphisation
Also handle any type variables from assignments and degrade gracefully
during constant propagation when unification is not possible.
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions