leonardschneider

Add expression attribute for repl display

5

I like the Futhark repl, but I'm missing formatting while printing the values. I propose adding some basic formatting, which can come handy while debugging a program, by adding expression...

Example in https://github.com/slamdata/matryoshka/blob/master/tests/shared/src/test/scala/matryoshka/exp/package.scala But also applies to other fixpoint types Mu and Nu and Cofree. Free integration would be nice too.

java.lang.ExceptionInInitializerError on running jacoco:test

4

On jacoco4sbt 2.1.5. ``` java.lang.ExceptionInInitializerError at org.jacoco.core.instr.Instrumenter.createInstrumentingVisitor(Instrumenter.java:79) at org.jacoco.core.instr.Instrumenter.instrument(Instrumenter.java:93) at org.jacoco.core.instr.Instrumenter.instrument(Instrumenter.java:134) at de.johoop.jacoco4sbt.Instrumentation$$anonfun$instrumentAction$3.apply(Instrumentation.scala:49) at de.johoop.jacoco4sbt.Instrumentation$$anonfun$instrumentAction$3.apply(Instrumentation.scala:46) at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:244) at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:244) at scala.collection.mutable.ResizableArray$class.foreach(ResizableArray.scala:59) at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:47) at scala.collection.TraversableLike$class.map(TraversableLike.scala:244) at scala.collection.AbstractTraversable.map(Traversable.scala:105) at de.johoop.jacoco4sbt.Instrumentation$class.instrumentAction(Instrumentation.scala:46) at...

Feature request: Rank polymorphism thru size and type lists

2

I propose to implement rank polymorphism by introducing size and types lists type arguments. Inspired by the blog in https://futhark-lang.org/blog/2022-10-03-futhark-on-arraycast.html A size or type list can be expanded thanks a...