External Core tools: track new syntax for newtypes
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 5 May 2008 00:10:50 +0000 (00:10 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 5 May 2008 00:10:50 +0000 (00:10 +0000)
Update External Core tools to reflect new syntax for
newtypes. (Notice that the typechecker is 90 lines shorter!)

Also: improve dependency-finding, miscellaneous refactoring.


No differences found