summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorBrian Campbell2018-03-30 15:15:47 +0100
committerBrian Campbell2018-04-04 14:45:00 +0100
commitc36900a7b95e14f9bcfa8b2c5687fbfd0f7fa6a5 (patch)
tree530da8b5efda4f52004b1c0e2b706654d9fb05da /test
parent20e5023944f97ba4aafb04ff32a3a937353225b4 (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')
0 files changed, 0 insertions, 0 deletions