diff options
| author | Brian Campbell | 2018-03-30 15:15:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-04 14:45:00 +0100 |
| commit | c36900a7b95e14f9bcfa8b2c5687fbfd0f7fa6a5 (patch) | |
| tree | 530da8b5efda4f52004b1c0e2b706654d9fb05da /test/typecheck | |
| parent | 20e5023944f97ba4aafb04ff32a3a937353225b4 (diff) | |
Initial rewrite to move complex nexps in fn sigs into constraints
(for monomorphisation, off for now because the analysis needs extended).
Also tighten up orig_nexp, make Lem backend replace # in type variables.
Diffstat (limited to 'test/typecheck')
0 files changed, 0 insertions, 0 deletions