diff options
| author | Brian Campbell | 2018-01-12 17:33:56 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-12 17:33:56 +0000 |
| commit | 83538020553691efe472984ee16ebd04eb252f82 (patch) | |
| tree | c3bfc34d9d58cb2152debd25cec6fd7ebf84e1c2 /src/process_file.ml | |
| parent | e227238dfa54ad337afa00648a35e8932d42fd06 (diff) | |
Try to keep types for undefined around during monomorphisation
Otherwise the type checker can't figure it out when we substitute
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions