stainless icon indicating copy to clipboard operation
stainless copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Fix RecursiveEvaluator not erasing types (#1135)

Open gsps opened this issue 3 years ago • 0 comments

Fixes Stainless-side issue of #1135, i.e., ADTPatterns should be compared modulo erased type arguments in RecursiveEvaluator.

gsps avatar Aug 24 '21 10:08 gsps