bishabosha

// example of a "type level function" resolved via implicit search using inline match - to get around named tuple types not working with match types
sealed trait Foo

type TypeFun[Cases <: Tuple] = [T] =>> TypeFun.Resolved[T, Cases]
type ->>[Case, R] = (Case, R)

object TypeFun:
  sealed trait Wild[F[_]]
  final class Resolved[T, Cases <: Tuple]:
    type Out

bishabosha

#!/bin/bash
#
#   Copyright 2017 Marco Vermeulen
#
#   Licensed under the Apache License, Version 2.0 (the "License");
#   you may not use this file except in compliance with the License.
#   You may obtain a copy of the License at
#
#       http://www.apache.org/licenses/LICENSE-2.0
#

bishabosha

//> using toolkit default
//> using options -experimental
//> using scala 3.6.1

// This script copies from scala3/sbt-test/unroll-annot to dotty/tests/run

// current directory is repo for github.com/scala/scala3

val srcDir = os.pwd / "sbt-test" / "unroll-annot"
val destDir = os.pwd / "tests" / "run"

bishabosha

//> using repository "https://repo.e-iceblue.com/nexus/content/groups/public/"
//> using dep "e-iceblue:spire.pdf:9.10.3"
//> using dep "jakarta.xml.bind:jakarta.xml.bind-api:4.0.0"
//> using scala 3.4.0
//> using toolkit default

import com.spire.pdf.PdfDocument
import scala.util.Using, Using.Releasable
import scala.util.chaining.given

bishabosha

val hello = "Hello, world!"
val multiline = s"""
                           )))
                ))))))))))))))
))))))))))))))))))))))))))))))
))))))))))))))))))))))))))))))
))))))))))))))))))))))))))))))
))))))))))))))))))))))@@@@@@
)))))))@@@@@@@@@@@@@@@@@@@@)))
     @@@@@@@@@@@@)))))))))))))

bishabosha

//> using scala "3.4.0-RC1-namedtuples-bin-SNAPSHOT"
// original solution taken from https://scalacenter.github.io/scala-advent-of-code/puzzles/day17#final-code (by @bishabosha)

import scala.language.experimental.namedTuples

type Target = (xs: Range, ys: Range)
type Point  = (x: Int, y: Int)
type Probe  = (position: Point, velocity: Point)

val initial = (x = 0, y = 0)

bishabosha

//> using toolkit 0.2.1
//> using scala 3.3.1
//> using dep ch.epfl.scala::tasty-query:0.11.0
//> using dep org.scala-lang::scala3-compiler:3.3.1
//> using dep io.get-coursier:coursier_2.13:2.1.7

package tastyquery.jdk.classpaths

import tastyquery.Classpaths.Classpath
import tastyquery.Classpaths.ClasspathEntry

bishabosha

package foo

import scala.annotation.static

import java.lang.invoke.{MethodHandle, MethodHandles, MethodType}

class MH

object MH:
  @static private val lookup = MethodHandles.lookup()

bishabosha

//> using scala "3.3.0"

import scala.util.boundary, boundary.break

object Loops:

  type ExitToken = Unit { type Exit }
  type ContinueToken = Unit { type Continue }

  type Exit = boundary.Label[ExitToken]

bishabosha

def part1(input: String): Int =
  findIndexOptimal(input, n = 4)

def part2(input: String): Int =
  findIndexOptimal(input, n = 14)

class MultiSet:
  private val counts = new Array[Int](128)
  private var total = 0
  def size = total