inox Adding a case for type instantiation

Adding a case for type instantiation

Open mario-bucev opened this issue 2 years ago • 4 comments

Concerns the case ADTType -> RefinementType. However, we drop the prop part, so maybe this is incorrect?

Sep 26 '22 12:09 mario-bucev

Is there a test case for this, @mario-bucev ?

Dec 14 '22 13:12 vkuncak

Not directly, but it is necessary for the extractor :: to work when nested.

Dec 14 '22 13:12 mario-bucev

So it's too cumbersome to generate tests at the level of Inox?

Dec 14 '22 14:12 vkuncak

We should be able to unit test this part

Dec 14 '22 15:12 mario-bucev