module Main -- Test enabling the ErrorReflection extension %language ErrorReflection main : IO () main = return ()