fork download

copy

object Main extends App {
  type ¬[A] = A => Nothing
  type ∨[T, U] = ¬[¬[T] with ¬[U]]
  type ¬¬[A] = ¬[¬[A]]
  type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) }
 
  def dashboardStat[LabelT: (scala.xml.Elem |∨| String)#λ,
                    ValueT: (scala.xml.Elem |∨| String)#λ]
                    (target: String, label: LabelT, value: ValueT, icon: String) =
    <a href={target}>
      <div class="visual">
        <i class={s"fa fa-$target"}></i>
      </div>
      <div class="details">
        <span class="content">{label}</span>
        <span class="value">{value}</span>
      </div>
      <i class="fa fa-play-circle more"></i>
    </a>
 
  println(dashboardStat("/", <strong>Hello, world!</strong>, 200.00, "money"))
}
 

/opt/scala/bin/scalac: line 50: /dev/null: Permission denied
Main.scala:21: error: Cannot prove that (Double => Nothing) => Nothing <:< scala.xml.Elem => Nothing with String => Nothing => Nothing.
  println(dashboardStat("/", <strong>Hello, world!</strong>, 200.00, "money"))
                       ^
one error found
spoj: The program compiled successfully, but Main.class was not found.
      Class Main should contain method: def main(args: Array[String]).

Standard output is empty