From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 16 Jun 2010 13:37:19 +0000 (+0200)
Subject: Add a CaseAlt constructor to CoreContext.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=bebe01ce76e62bea88aba87d5cceecfab7a0c6c4;hp=bebe01ce76e62bea88aba87d5cceecfab7a0c6c4;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add a CaseAlt constructor to CoreContext.

Since a case expression can introduce a binder (for its scrutinee), we
should be able to denote that in the CoreContext.
---