test031.idr

module Main

-- Test enabling the ErrorReflection extension

%language ErrorReflection

main : IO ()
main = return ()