From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sun, 16 Sep 2018 23:27:18 +0000 (-0400)
Subject: WIP type-checking -- check recursive type defs
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=cbb4ffb6428f52eaea42f6039332af0c392cdd0f;hp=cbb4ffb6428f52eaea42f6039332af0c392cdd0f;p=tiger.ml.git

WIP type-checking -- check recursive type defs
---