Friday, April 22, 2011

Compiler successfully compiles itself

In the last weeks I was busy to complete the compiler, and now the hard work is done. The compiler compiles itself, then the compiled compiler compiles itself, then that compiled compiler compiles itself and so forth.

Hence, I am now in a position to get rid of the old Frege2 compiler and have a self sustained Frege3 environment. I have also successfully ported QuickCheck

Next steps:
  • clean up the code so it has no warnings
  • get rid of code that was needed to be backwards compatible with Frege2.
  • write properties for Prelude functions
  • make a comprehensive list of differences to Haskell, while doing this adjust Frege to be as close on Haskell as possible.
  • complete documentation
  • evolve library slowly
  • ....

1 comment:

  1. As a frege fans, I'm wondering if you'd tell me how it compiles itself? thanks.


Comments will be censored by me as I see fit, most likely if they contain insults or propaganda for ideologies I do not like. Comments that are on topic will not be censored. If I leave a comment uncensored this does not imply that I agree with the opinions expressed therein.