Edwin Brady ebc413ede5 Postpone elaborating lambdas ... It's worth delaying in case doing some more work (and some more interface resolution) can make the type more concrete. This makes test linear011 work more smoothly, and will help with this sort of program in general. A better way, later, would be to try elaborating and delay only if the type is not yet known. We have the facilities, but it's too fiddly for me to want to implement it right now...		2020-06-24 23:27:45 +01:00
..
casetot.idr	Calculate compile time references even in case	2020-05-30 21:53:29 +01:00
expected	Postpone elaborating lambdas	2020-06-24 23:27:45 +01:00
run	Calculate compile time references even in case	2020-05-30 21:53:29 +01:00