From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Fri, 14 Sep 2018 13:36:42 +0000 (-0400)
Subject: WIP type-checking -- check type declarations
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=0324a942124e962cba76dbb9985f49ff1fa0960a;hp=0324a942124e962cba76dbb9985f49ff1fa0960a;p=tiger.ml.git

WIP type-checking -- check type declarations
---