Matt Bovel

Results 33 issues of Matt Bovel

Hi! Running the following code (`munit.scala`): ```scala //> using lib "junit:junit:4.11" import org.junit.runner.notification.RunListener import org.junit.runner.{Description, JUnitCore} class FatalErrorSuite extends munit.FunSuite: test("simple test") { () } test("failed test") { def loop(x:...

**Describe the issue** When compiling [Dotty](https://github.com/lampepfl/dotty) using native-image then running the resulting executable, I get a runtime exception. Tried with @mukel. **Steps to reproduce the issue** Setup and compilation: ```...

bug
native-image

### What’s the URL to the page you’re sending feedback for? https://tiptap.dev/docs/editor/installation/cdn ### What part of the documentation needs improvement? Copy and pasting the example and trying to type a...

Documentation
Open Source

### What’s the URL to the page you’re sending feedback for? https://tiptap.dev/docs/editor/api/nodes/code-block-lowlight ### What part of the documentation needs improvement? It seems lowlight 3.1.0 now exposes a function named `createLowlight`,...

Type: Documentation
Category: Open Source

Seems like Stainless approximate the type of `FunDef.tp` to `Type` at some point, and then can't prove it's actually a `FunType`. ```scala object Test: sealed trait Type final case class...

This works: ```scala import stainless.collection.{List, Nil, Cons} import stainless.lang.* enum Term: case Atom(i: BigInt) case App(fun: Term, args: TermList) enum TermList: case TermNil() case TermCons(x: Term, xs: TermList) import Term.*...

What does `munitTimeout` do exactly? I would have expected it to _stop_ a test if it runs for too long, but that's not the case, for example with infinite loops:...

Minor, but I was confused by: ``` ➜ ~ scala-cli -S "3.3.2" repl [error] repl is not a scala-cli sub-command and it is not a valid path to an input...

bug
UX

Fixes #5789, fixes #17939, fixes #18064 and fixes #19846. Description of 0e04a3c3ae: > `Annotation.mapWith` maps an `Annotation` with a type map `tm`. Before actually applying `tm` to the annotation’s `tree`,...