Winter 2015
Please Note The JARs here will not run with JDK9. To run Frege with JDK9, use one of the preliminary releases under "Summer 2015".
Also, as of Aug 20, 2015 you can't build the master branch with those releases anymore.
See description in the wiki.
In certain cases it may be that code that compiled previously doesn't with the new compiler. Most of the time the reason is one of the following:
- lexical errors with no longer supported regular expression literal syntax
#foo#
- lexical errors with operators
- errors that can be traced back to problems with precedence and/or associativity of operators.
You should be able to solve these after having read the aforementioned wiki page. Or just ask on SO or in the news group.
Please report other errors as issues.
There is also a corresponding version of the eclipse plugin ready for upgrade from the upgrade site, see the fregIDE tutorial. Unless indicated otherwise, you can update your frege IDE 3.22 installation by replacing the fregec.jar
with a more recent one from the 3.22.xxx series.