External Core: re-add code I removed mistakenly in last commit
authorTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 15 Jan 2009 00:26:12 +0000 (00:26 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 15 Jan 2009 00:26:12 +0000 (00:26 +0000)
commitee69a45c027e2a9fefd9a97bfd64e78b49d0ecbe
treeef4b73438e666427ce461a78d2c667f075536a58
parent5a4c6ef6e909fbd978ff81bb3453489e884d1885
External Core: re-add code I removed mistakenly in last commit
utils/ext-core/Language/Core/Check.hs
utils/ext-core/Language/Core/Prep.hs