Ravichandhran Madhavan
Results
3
issues of
Ravichandhran Madhavan
Given a variable `v` having case class type that has a field `f` of function type say `Unit => A`. The termination checker assumes that `v.f()` is a structurally smaller...
The code in the file ADTManager is somewhat hard to follow with too many nested recursion. It has also been a source of other bugs. In principle, we can separate...