From: Michael Andreen <harv@ruin.nu>
Date: Thu, 2 Mar 2006 20:41:09 +0000 (+0000)
Subject: introduced pushAndPop in the typechecker too
X-Git-Url: https://ruin.nu/git/?a=commitdiff_plain;h=fe6d5e0ac088e6b648a5029b101402c017fd04de;hp=fe6d5e0ac088e6b648a5029b101402c017fd04de;p=proglang.git

introduced pushAndPop in the typechecker too
---