Btw, I've send the frege java sources to the android project for further investigation on the jack compiler misbehavior - https://code.google.com/p/android/issues/detail?id=211164 Frege seems to be an excellent project to verify the correctness of java compilers ;-)
Am Dienstag, 13. September 2016 15:30:47 UTC+2 schrieb Andreas Ländle: > > Just to share some intermediate results - if someone is interested. If you > apply the attached patches you'll should be able to create a fregec.jar - > and if you extract all the java sources from it (e.g. with "7z x fregec.jar > -r *.java -x!Awt.java -x!Swing.java -x!frege\compiler\* -x!frege\tools\* > -x!Modules.java -x!Processes.java -x!frege\ide\* -x!frege\test\*" or a > similar tool) you could at least compile with jack without any "invalid > character" error. > > Unfortunately it sill fails... > > Error:Gradle: Execution failed for task > ':app:transformJackWithJackForDebug'. > > com.android.sched.scheduler.RunnerProcessException: Error during > 'TypeLegalizer' runner on 'public java.lang.Object > frege.data.JSON$1Let$26446$-frege_prelude_PreludeBase$TList_string$8750_int_arg$3_frege_prelude_PreludeBase$TList_arg$4_LambdaImpl0.call()': > > Unexpected error during visit: com.android.jack.ir.ast.JMethodCall at > "Unknown source info" > > Likely a bug in the jack compiler, since we gave it valid java sources; > but this might be a good start for anybody that wants a frege package only > containing ascii identifiers (for whatever reason). > > Br, Andreas > > Am Dienstag, 13. September 2016 09:49:23 UTC+2 schrieb Andreas Ländle: >> >> Hi, >> I can confirm that frege works under Android in conjunction with JDK7 and >> newer Android API Levels - at least I didn't face any problems ;-) >> Currently I'm trying to use JDK8 with the new Android Jack Compiler - but >> I'm struggling with all the unicode (e.g. greek letters) identifiers not >> supported with Jack. >> So I'm trying to build a latin-only version of the fregec.jar... seems to >> be more complicated than I've expected ;-( >> Br, >> Andreas >> >> Am Dienstag, 13. September 2016 09:06:46 UTC+2 schrieb Patrick Pelletier: >>> >>> Never mind, I think I've been approaching it wrong. ExecutorService was >>> never the problem with Java 6, it was ForkJoinPool. >>> >>> However, Android has ForkJoinPool starting in API level 21: >>> >>> >>> https://developer.android.com/reference/java/util/concurrent/ForkJoinPool.html >>> >>> >>> So, perhaps the Java 6 version of Frege is no longer needed for >>> Android. I will try to see if I can make some progress under that >>> assumption. >>> >>> --Patrick >>> >>> >>> -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
