diff options
| author | Brian Campbell | 2018-03-29 18:31:57 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-04 14:45:00 +0100 |
| commit | ccbfed3dda64c0e92ae9e07e507e63a65b4c8318 (patch) | |
| tree | e95b5f2bfff389826f003f26bf7d3305d06481e2 /src/process_file.ml | |
| parent | b20b624c6b82d8fa27396c4c3abefdf52741e6bc (diff) | |
Use simple equations in function specifications to instantiate tyvars
Allows the type checker to deal with
val foo : forall 'm 'n, 'n = 8 * 'm. atom('m) -> bits('n)
for example
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions