Before, type declarations were considered always recursive.
Route the recursivity information to the function typing type declarations and feed it Nonrecursive when the function is reused to type module constraints
Add the (now positive) example that was reported in #225.
Add, while we’re at it, what should be done to fix issue t6.
Before, type declarations were considered always recursive. Route the recursivity information to the function typing type declarations and feed it
Nonrecursive
when the function is reused to type module constraintsAdd the (now positive) example that was reported in #225.
Add, while we’re at it, what should be done to fix issue t6.
Closes #225