From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Thu, 13 Sep 2018 23:40:45 +0000 (-0400)
Subject: WIP type-checking -- check record expressions
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=0ed7a07cf496065c3ff0d0f9325ae8c516b00c1b;hp=0ed7a07cf496065c3ff0d0f9325ae8c516b00c1b;p=tiger.ml.git

WIP type-checking -- check record expressions
---