Hi,

there are syntax errors, but that should not cause a build tool to crash.
Please note that it is not the Frege compiler that crashes, in fact, no 
frege code is mentioned in the stack trace at all.

I suggest opening an issue in the frege/sbt project.

Regards, Ingo

Am Mittwoch, 12. Oktober 2016 23:56:53 UTC+2 schrieb 
harve...@cse.ohio-state.edu:
>
> Dear Frege Devs,
>
> When I try compiling the attached source file with SBT using via the 
> sbt-frege plugin (version 1.1.1, which appears to supply 
> "frege-3.23.288-gaa3af0c.jar" to SBT), I get the following crash:
>
> java.lang.RuntimeException: Frege compilation error
>     at SbtFregec$.fregec(SbtFrege.scala:41)
>     at 
> SbtFregec$$anonfun$projectSettings$4$$anonfun$3.apply(SbtFrege.scala:55)
>     at 
> SbtFregec$$anonfun$projectSettings$4$$anonfun$3.apply(SbtFrege.scala:55)
>     at sbt.FileFunction$$anonfun$cached$1.apply(Tracked.scala:235)
>     at sbt.FileFunction$$anonfun$cached$1.apply(Tracked.scala:235)
>     at 
> sbt.FileFunction$$anonfun$cached$2$$anonfun$apply$3$$anonfun$apply$4.apply(Tracked.scala:249)
>     at 
> sbt.FileFunction$$anonfun$cached$2$$anonfun$apply$3$$anonfun$apply$4.apply(Tracked.scala:245)
>     at sbt.Difference.apply(Tracked.scala:224)
>     at sbt.Difference.apply(Tracked.scala:206)
>     at 
> sbt.FileFunction$$anonfun$cached$2$$anonfun$apply$3.apply(Tracked.scala:245)
>     at 
> sbt.FileFunction$$anonfun$cached$2$$anonfun$apply$3.apply(Tracked.scala:244)
>     at sbt.Difference.apply(Tracked.scala:224)
>     at sbt.Difference.apply(Tracked.scala:200)
>     at sbt.FileFunction$$anonfun$cached$2.apply(Tracked.scala:244)
>     at sbt.FileFunction$$anonfun$cached$2.apply(Tracked.scala:242)
>     at SbtFregec$$anonfun$projectSettings$4.apply(SbtFrege.scala:61)
>     at SbtFregec$$anonfun$projectSettings$4.apply(SbtFrege.scala:51)
>     at scala.Function1$$anonfun$compose$1.apply(Function1.scala:47)
>     at sbt.$tilde$greater$$anonfun$$u2219$1.apply(TypeFunctions.scala:40)
>     at sbt.std.Transform$$anon$4.work(System.scala:63)
>     at 
> sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:226)
>     at 
> sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:226)
>     at sbt.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
>     at sbt.Execute.work(Execute.scala:235)
>     at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:226)
>     at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:226)
>     at 
> sbt.ConcurrentRestrictions$$anon$4$$anonfun$1.apply(ConcurrentRestrictions.scala:159)
>     at sbt.CompletionService$$anon$2.call(CompletionService.scala:28)
>     at java.util.concurrent.FutureTask.run(FutureTask.java:266)
>     at 
> java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
>     at java.util.concurrent.FutureTask.run(FutureTask.java:266)
>     at 
> java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
>     at 
> java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
>     at java.lang.Thread.run(Thread.java:745)
> [error] (compile:managedSources) Frege compilation error
>
> I think the crash is induceed by the last uncommented line.  Any idea what 
> is going on?
>
> Thanks!
>
> William
>

-- 
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.

Reply via email to