Edwin Brady 413d09dad8 Unification tweak for getting lambda types ... We've been generalising inferred function types to have multiplicity RigW but sometimes (especially on lambdas) we need to infer the precise type, so make a distinction. This is pretty ugly, really. It would be better to be able to postpone the choice until we know more, but it's not obvious to me how to achieve that with the way unification is currently set up. The present way at least works fine with code that doesn't use linearity, which is the right default I think!		2020-02-09 17:05:22 +00:00
..
Channel.idr	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00
expected	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00
Linear.idr	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00
MakeChans.idr	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00
run	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00
TestProto.idr	Unification tweak for getting lambda types	2020-02-09 17:05:22 +00:00