search

frankpfenning / C0

C0 Language
4 stars 0 forks source link

Remove or fix out-of-date parsers #44

Closed robsimmons closed 11 years ago

robsimmons commented 11 years ago

We've discussed removing parse2 in the past; I'm going to go ahead and do that unilaterally.

As for parse1, with the resolution to #28, it's not even clear that there's an easy way to write a YACC parser for C0+contracts (this doesn't affect the compilers course, because assertions are just comments in that setting). But this should eventually either be updated and tested or eliminated, I suppose.

frankpfenning commented 11 years ago

Eliminate both of them, if you are at it already.

robsimmons commented 11 years ago

Ok - should I wipe out debugger-r10 while I'm at it? It will live on in our hearts and subversion histories.

frankpfenning commented 11 years ago

Yes. I would suggest adding a "history" section to the README file to catalogue some of these. I can add some comments, once you write there what has been eliminated.

There are a few other individual files I want to zap, once you have done the major work above.

robsimmons commented 11 years ago

Cleaned up, added history, also deleted the old QT and recorded that. (I can let go of all tokens now except for the makefile where I'm working on #46.)