repro.bash

#!/bin/bash
for opts in \
	'-Yexplicit-nulls -language:strictEquality'\
	'-language:strictEquality -Yexplicit-nulls -language:fewerBraces'\
	'-Yexplicit-nulls -nowarn -language:strictEquality'\
	'-language:strictEquality -language:higherKindedTypes -Yexplicit-nulls '\
	'-language:strictEquality -Yexplicit-nulls -language:higherKindedTypes '\
	'-Yexplicit-nulls -language:higherKindedTypes -language:strictEquality'\
	'-language:higherKindedTypes -language:strictEquality -Yexplicit-nulls '\
	'-Yexplicit-nulls -language:fewerBraces -language:strictEquality' ; do
	echo "---- scala-cli compile with using options $opts"
	cat > tmp.scala <<-SCALA
	//> using options $opts
	//> using scala 3.3.1
	def repro[A](as: List[A]): List[A] =
		as match
			case Nil => Nil
			case _ => ???
	SCALA
	scala-cli compile tmp.scala
done