mbrandonw · March 27, 2018 14:34
diff --git a/absurd.hs b/absurd.hs
 {-# LANGUAGE EmptyCase #-}

 data Never

 absurd :: Never -> a
 absurd a = case a of {}

 main = do
  putStrLn "It compiles!"
diff --git a/absurd.kt b/absurd.kt
 class Never private constructor()

 fun <A> absurd(never: Never): A {
  when(never) {}
 }

 println("It compiles!")
diff --git a/absurd.rs b/absurd.rs
 enum Never {}

 fn absurd<A>(never: Never) -> A {
  match never {
  }
 }

 fn main() {
  println!("It compiles!");
 }
	class Never private constructor()

	fun <A> absurd(never: Never): A {
	when(never) {}
	}

	println("It compiles!")