Does not compile with 3.22.524

[mperry]

Build message on my machine is below, this looks the same as the Travis CI build (https://travis-ci.org/Frege/frege-interpreter/builds/72127990):

D:\repositories\frege-interpreter>gradlew clean build :frege-interpreter-core:clean :frege-interpreter-distribution:clean :frege-interpreter-java-support:clean :frege-script-engine:clean :frege-interpreter-java-support:compileFrege runtime 0.493 wallclock seconds. :frege-interpreter-java-support:compileJava warning: [options] bootstrap class path not set in conjunction with -source 1.7 Note: D:\repositories\frege-interpreter\frege-interpreter-java-support\src\main\java\frege\interpret er\javasupport\JavaUtils.java uses or overrides a deprecated API. Note: Recompile with -Xlint:deprecation for details. Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 1 warning :frege-interpreter-java-support:compileGroovy UP-TO-DATE :frege-interpreter-java-support:processResources UP-TO-DATE :frege-interpreter-java-support:classes :frege-interpreter-java-support:jar :frege-interpreter-core:compileJava UP-TO-DATE :frege-interpreter-core:compileFrege parsing D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\Fr egeInterpreter.fr Compiler.Classes: no rebuild needed because module exists on class path and no source available. Compiler.Typecheck: no rebuild needed because module exists on class path and no source available. Compiler.enums.Flags: no rebuild needed because module exists on class path and no source available.

frege.Prelude: no rebuild needed because module exists on class path and no source available. Compiler.GenMeta: no rebuild needed because module exists on class path and no source available. Compiler.GenJava7: no rebuild needed because module exists on class path and no source available. Compiler.common.CompilerOptions: no rebuild needed because module exists on class path and no source available. Compiler.grammar.Lexer: no rebuild needed because module exists on class path and no source availabl e. Compiler.types.External: no rebuild needed because module exists on class path and no source availab le. Compiler.enums.TokenID: no rebuild needed because module exists on class path and no source availabl e. Compiler.passes.Enter: no rebuild needed because module exists on class path and no source available . Compiler.classes.Nice: no rebuild needed because module exists on class path and no source available . Compiler.Transform: no rebuild needed because module exists on class path and no source available. Compiler.passes.Instances: no rebuild needed because module exists on class path and no source avail able. Compiler.common.Desugar: no rebuild needed because module exists on class path and no source availab le. Compiler.passes.Transdef: no rebuild needed because module exists on class path and no source availa ble. Compiler.passes.Imp: no rebuild needed because module exists on class path and no source available. Compiler.passes.TypeAlias: no rebuild needed because module exists on class path and no source avail able. Compiler.grammar.Frege: no rebuild needed because module exists on class path and no source availabl e. Compiler.types.Packs: no rebuild needed because module exists on class path and no source available.

Control.monad.State: no rebuild needed because module exists on class path and no source available. Compiler.passes.Fix: no rebuild needed because module exists on class path and no source available. Compiler.types.Positions: no rebuild needed because module exists on class path and no source availa ble. Compiler.types.SNames: no rebuild needed because module exists on class path and no source available . Compiler.types.SourceDefinitions: no rebuild needed because module exists on class path and no sourc e available. Compiler.types.Tokens: no rebuild needed because module exists on class path and no source available . Compiler.common.Resolve: no rebuild needed because module exists on class path and no source availab le. Compiler.types.NSNames: no rebuild needed because module exists on class path and no source availabl e. Compiler.types.Global: no rebuild needed because module exists on class path and no source available . Compiler.common.Errors: no rebuild needed because module exists on class path and no source availabl e. Compiler.passes.Fields: no rebuild needed because module exists on class path and no source availabl e. Data.TreeMap: no rebuild needed because module exists on class path and no source available. Java.util.Regex: no rebuild needed because module exists on class path and no source available. Control.arrow.Kleisli: no rebuild needed because module exists on class path and no source available . Control.monad.Reader: no rebuild needed because module exists on class path and no source available.

Data.List: no rebuild needed because module exists on class path and no source available. Compiler.types.QNames: no rebuild needed because module exists on class path and no source available . Prelude.PreludeIO: no rebuild needed because module exists on class path and no source available. Prelude.PreludeList: no rebuild needed because module exists on class path and no source available. Lib.PP: no rebuild needed because module exists on class path and no source available. Prelude.PreludeText: no rebuild needed because module exists on class path and no source available. Prelude.PreludeMonad: no rebuild needed because module exists on class path and no source available.

Prelude.PreludeBase: no rebuild needed because module exists on class path and no source available. Compiler.types.Symbols: no rebuild needed because module exists on class path and no source availabl e. Ide.Utilities: no rebuild needed because module exists on class path and no source available. Prelude.PreludeArrays: no rebuild needed because module exists on class path and no source available . Compiler.types.Types: no rebuild needed because module exists on class path and no source available.

Interpreter.FregeInterpreter: compiling because class file doesn't exist W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:640: hiding previously (line 6) imported alias for instance Lang.PrimitiveArrayElement_Byte through instance PrimitiveArrayEl ement_Byte W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:178: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:196: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:206: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:224: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:326: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:351: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:356: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:422: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:423: ST.performUnsafe: You are breaking the rules. Expect an arbitrary result and program crashes. W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:640: data type Lang.Byte is already an instance of class PrimitiveArrayElement (Lang.PrimitiveArrayElement_Byte introduced on line 1) W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:640: data type Lang.Byte is already an instance of class ArrayElem (Lang.PrimitiveArrayElement_Byte introduced on line 1) W D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:640: data type Lang.Byte is already an instance of class JavaType (Lang.PrimitiveArrayElement_Byte introduced on line 1) E D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:660: Non pure native type InterpreterClassLoader must be MutableIO InterpreterClassLoader in IO actions. E D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:663: Non pure native type InterpreterClassLoader must be MutableIO InterpreterClassLoader in IO actions. E D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:657: Non pure native type InterpreterClassLoader must be Mutable s InterpreterClassLoader in ST actions. H D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:205: immutable frege.interpreter.javasupport.InterpreterClassLoader cannot be used as su btype of mutable only java.net.URLClassLoader E D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:205: type error in expression classLoader state type is InterpreterClassLoader used as Net.URLClassLoader H D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:327: immutable frege.interpreter.javasupport.InterpreterClassLoader cannot be used as su btype of mutable only java.net.URLClassLoader E D:\repositories\frege-interpreter\frege-interpreter-core\src\main\frege\frege\interpreter\FregeInt erpreter.fr:327: type error in expression default type is InterpreterClassLoader used as Net.URLClassLoader Interpreter.FregeInterpreter: build failed because of compilation errors. Build failed. runtime 9.453 wallclock seconds. :frege-interpreter-core:compileFrege FAILED

FAILURE: Build failed with an exception.

• What went wrong: Execution failed for task ':frege-interpreter-core:compileFrege'.

  Process 'command 'C:\Program Files\Java\jdk1.8.0_40\bin\java.exe'' finished with non-zero exit val ue 1

• Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more l og output.

BUILD FAILED

Total time: 45.373 secs

D:\repositories\frege-interpreter>

[mperry]

Any chance of looking into this @mmhelloworld?

[mmhelloworld]

Yes, I am working on it currently. frege-interpreter is not compatible with the new version and so are frege-repl and try-frege. It is almost done. All the 3 projects now work with the new version but I am still working on a new UI for the online REPL. I will push these changes either today or tomorrow EST.

[mperry]

I think this is the last issue before moving the gradle plugin to using 3.22.524, so your progress sounds really promising.

[mperry]

Looks like this is resolved by #19. Can this be closed @mmhelloworld?

[mmhelloworld]

Yes, this can be closed. I just now got a successful build on Travis and merged my changes to master. Thanks for reporting this issue and following up!