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)
commit8bfeb25ae78e99c7014113468b0057342db4208f
tree645bc23bb2b33e85345dd70fb408fc65703a7722
parent044805225a08d5e370b72d2efed66880912b0806
External Core tools: track new syntax for newtypes

Update External Core tools to reflect new syntax for
newtypes. (Notice that the typechecker is 90 lines shorter!)

Also: improve dependency-finding, miscellaneous refactoring.
utils/ext-core/Check.hs
utils/ext-core/Core.hs
utils/ext-core/Dependencies.hs
utils/ext-core/Driver.hs
utils/ext-core/Interp.hs
utils/ext-core/Makefile
utils/ext-core/Overrides.hs [new file with mode: 0644]
utils/ext-core/ParsecParser.hs
utils/ext-core/Prims.hs
utils/ext-core/Printer.hs
utils/ext-core/README