3 ms·
Sorry for a confusing wording. I was referring to the newly generated tag variables A1, A2, ..., An. The next typing pass after solving the equations is to subs
by sklogic 11y ago
Sorry for a confusing wording. I was referring to the newly generated tag variables A1, A2, ..., An. The next typing pass after solving the equations is to substitute those tags with the type values found by Prolog.
- jnbiche 11y agoAh perfect, thanks. This whole thread has been a huge boon to me, very glad for all the input.